Правильно ли я понимаю правила arithmetic conversions?

Question

[Qubc]

Просто на всякий случай:

template <typename T>
void f (T t){}

int main(){
    unsigned int ui = 0;
    signed int si = 0;
    f(si + ui);//  call void f<unsigned int>(unsigned int)
    return 0;
}

unsigned int получается потому что:
https://en.cppreference.com/w/cpp/language/usual_a...

Otherwise, one type between T1 and T2 is an signed integer type S, the other type is an unsigned integer type U. Apply the follwing rules:
If the integer conversion rank of U is greater than or equal to the integer conversion rank of S, C is U.

The rank of any unsigned integer type equals the rank of the corresponding signed integer type.

Верно?

Answer 1

[Dmitrii]

Да, тип будет именно таким.
Чтобы самостоятельно увидеть вывод типа, который вывел компилятор Scott Meyers предлагает намеренно создать ошибку конвертации типа и посмотреть что же компилятор написал.
https://godbolt.org/z/6bobqTG58

Comments

[Qubc]

Огромное спасибо!

Answer 2

[Wataru]

Верно. Можно вставить исходник на сайте C++ insights и посмотреть, какие типы там где используются.