-4 < 8 の式が変数に置き換わると成立しない原因が知りたい。

Question

提示コードの///コメント部内部のコードですが定数のif文が成立すると思いますがそれをそのまま変数に置き換えると成立しませんこれは何が原因なのでしょうか？

確認したこと

演算子の優先順位を確認してカッコをつけました。

Console

y -4

 < 8

いいい
y: -4
y: -3
y: -2
y: -1
y -4

 < 8

いいい
y: -4
y: -3
y: -2
y: -1
y -4

 < 8

いいい
y: -4
y: -3
y: -2
y: -1
y -4

 < 8

いいい
y: -4
y: -3

void Stage::Renderer(const glm::mat4 view)const
{

    glm::ivec2 cameraPosition = camera->getPosition();//glm::ivec2 int型
    cameraPosition.x = cameraPosition.x / CELL;
    cameraPosition.y = cameraPosition.y / CELL;


    glm::ivec2 windowSize = FrameWork::GetWindowSize();//glm::ivec2 int型
    windowSize.x = windowSize.x / CELL;
    windowSize.y = windowSize.y / CELL;

    


//    printf("%d\n",cameraPosition.y - (windowSize.y / 2) /2);
    //printf("%d\n\n",stage->at(0).size() - (stage->at(0).size() - windowSize.x) / 2);
    //printf("%d\n\n",stage->at(0).size() - (stage->at(0).size() - windowSize.x) / 2);
    printf("y %d\n\n",(cameraPosition.y - (windowSize.y / 2) / 2));
    printf(" < %d\n\n",((stage->size() - (stage->size() - windowSize.y)) / 2) );

/////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
    if(-4 < 8)
    {
        printf("いいい\n");
    }

    if( (cameraPosition.y - (windowSize.y / 2) / 2) < ((stage->size() - (stage->size() - windowSize.y)) / 2) )
    {
        printf("あああ\n");
    }
/////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
    for(int y = cameraPosition.y - (windowSize.y / 2) / 2; y > ((stage->size() - (stage->size() - windowSize.y)) / 2); y++)
    {
        printf("y: %d\n",y);

        if(y >= 0)
        {
            for(int x = cameraPosition.x - (windowSize.x / 2) / 2; x < (stage->at(y).size() - (stage->at(y).size() - windowSize.x)) / 2; x++)
            {
//                printf("x: %d\n",x);

                if( (x >=0) && (y >= 0) )
                {
                    printf("pos: %d , %d\n",x,y);

                    switch (stage->at(y).at(x) )    
                    {
                        case 1:
                        {
                            FrameWork::Renderer_Sprite(view,tile,glm::vec3( (CELL * x) - (FrameWork::GetWindowSize().x / 2 - (CELL /2)),(FrameWork::GetWindowSize().y / 2.0f - (CELL / 2))  - (CELL * y),0),glm::ivec2(0,0),glm::ivec2(CELL,CELL));
                        }
                        break;            
                    }
                }
            }

        }
    }


/*
    for(int y = 0; y < stage->size(); y++)
    {
        for(int x = 0; x < stage->at(y).size(); x++)
        {
            switch (stage->at(y).at(x) )    
            {
                case 2:
                {
//                    FrameWork::Renderer_Sprite(view,item,glm::vec3(20,20,0),glm::ivec2(0,0),glm::ivec2(32,41));
                    FrameWork::Renderer_Sprite(view,tile,glm::vec3( (CELL * x) - (FrameWork::GetWindowSize().x / 2 - (CELL /2)),(FrameWork::GetWindowSize().y / 2.0f - (CELL /2))  - (CELL * y),0),glm::ivec2(0,0),glm::ivec2(CELL,CELL));
                    FrameWork::Renderer_Sprite(view,item,glm::vec3( (CELL * x) - (FrameWork::GetWindowSize().x / 2 - (CELL /2)),(FrameWork::GetWindowSize().y / 2.0f - (CELL /2))  - (CELL * y),0),glm::ivec2(0,0),glm::ivec2(24,31));


                }
                break;
       
            }
        }
    }
*/

}

Comments

[nob.]

成立しない場合のコードを提示してください。
そうでないと、成立しない場合の原因はわかりません。

Answer 1

詳しい型が書かれていないので推測ですが、その状況で起こるのは符号無しの型に型変換されているように思われます。 整数型同士の二項演算の多く (足し算や掛け算なども) では原則として大きい側の型に調整されてから演算が行われる規則になっており、調整された後の型が符号無しであれば負数を想定した大小関係はおかしくなってしまいます。

#include <iostream>
int main(void) {
 // これは偽値になる！
 std::cout << (-1 < (unsigned long long int)0) << std::endl;
}

Comments

[退会済みユーザー]

GetPositon(),GetWindowSize()ともにglm::ivec2 つまりint型でpirntf("いいい");の式を(int)という形でキャストしたらうごいたのですがこれはなぜでどこかで変換されてしまうのでしょうか？

[SaitoAtsushi]

stage->size() の型は何ですか？
stage の型がわからないのでなんとも言えないんですが、標準ライブラリのコンテナの size は符号なしという規定があり、かつ普通は int より大きい型 (言語仕様上は小さい場合もあり得るのですが) なので全体としてはこの型に引きずられるでしょう。