オーバーロード時のパラメータの昇格

Question

オーバーロードについて勉強していましたが、私はプロモーションと完全に混同しています。私はSO（implicit conversion sequence in function overloading）で少数の記事を見ましたが、もう少し多くは入手できますが、適切な記事は見つかりませんでした。私はhttp://www.dcs.bbk.ac.uk/~roger/cpp/week20.htmも参照していました。 私はStroustrupによるC++ Programmingスペシャルエディションを見て、以下の説明に出てきました。

Finding the right version to call from a set of overloaded functions is done by looking for a best match between the type of the argument expression and the parameters (formal arguments) of the functions. To approximate our notions of what is reasonable, a series of criteria are tried in order: 1 Exact match [2] Match using promotions; [3] Match using standard conversions [4] Match using user-defined conversions [5] Match using the ellipsis ......

void print(int); 
void print(double); 
void print(long); 
void print(char); 
void h(char c, int i, short s, float f) 
{ 
    print(s); // integral promotion: invoke print(int) 
    print(f); // float to double promotion: print(double) 
} 

私はコードの下に書きました。私は値1の関数を呼び出すと、宣伝が行われるのでfunc1（long）が呼び出されると考えていました。しかし、エラーメッセージ "エラー：オーバーロードされた 'func1（int）'の呼び出しがあいまいです"。 unsigned char型の変数でも関数を呼び出すわけではありません。

また、func1（3.4f）を呼び出すと、func1（double）が呼び出され、私の期待通りに宣伝が行われます。なぜ1はlong intに昇格されないのですか？なぜfloatが倍に昇格されるのですか？どの整数型プロモーションが開催されますか？

void func1(unsigned char speed) 
    { 
     cout<<"Func1 with unsigned char: speed =" << speed <<" RPM\n"; 
    } 

    void func1(long speed) 
    { 
     cout<<"Func1 with long Int: speed =" << speed <<" RPM\n"; 
    } 

    void func1(double speed) 
    { 
     cout<<"Func1 with double: speed =" << speed <<" RPM\n"; 
    } 

    int main(void) 
    { 
     func1(1); 
     func1(3.4f); 
     return(0); 
    } 

Answer 1

標準を指定：

あなたの例ではあいまいさを求めて

[C++11: 4.13/1]: ("Integer conversion rank")

Every integer type has an integer conversion rank defined as follows:

• [..]
• The rank of long long int shall be greater than the rank of long int, which shall be greater than the rank of int, which shall be greater than the rank of short int , which shall be greater than the rank of signed char.
• The rank of any unsigned integer type shall equal the rank of the corresponding signed integer type.
• [..]

。

func1(3.4f);は、floatからdoubleへのプロモーションであり、これは他の2つのオーバーロードされたメソッドがlongとunsigned charであるため、ベストマッチです。

副次句が指定

：

はまた、このtableチェック

[conv.fpprom]: (7.7 Floating-point promotion)

• A prvalue of type float can be converted to a prvalue of type double . The value is unchanged.
• This conversion is called floating-point promotion.