"unsigned int"型でコンストラクタ構文を使用できないのはなぜですか？

Question

C++で以下のコードが不正なのはなぜですか？

auto y = int(0); 
auto z = unsigned(0); 
auto w = float(0); 

または一般に：

auto t = Type(... c-tor-args ...); 

（Typeの例外はunsigned intである）以下の一方

auto x = unsigned int(0); 

はすべてOKです。

Answer 1

構文はここにExplicit type conversion (functional notation)です。文法規則によれば、それは単純な型指定子または型定義子指定子（すなわち、単一語タイプ名）でのみ機能する。

（強調鉱山）

2）機能的なキャスト式は単純型指定子またはtypedefの指定子（つまり、単一ワードタイプ名で構成されていますunsigned int(expression)またはint*(expression)は有効ではありません ）、括弧内に1つの式が続きます。このキャスト式は、対応するCスタイルキャスト式とまったく同じです。

あなたはCスタイルのキャスト式またはstatic_castに変更し、またはジャンFrançoisFabreが提案@としてのtypedef指定子とそれを使用することができます。標準から

auto x1 = (unsigned int)(0); 
auto x2 = static_cast<unsigned int>(0); 

引用、$5.2.3/1 Explicit type conversion (functional notation) [expr.type.conv]

単純型指定子（[dcl.type.simple]）または括弧任意続く型名指定子（[temp.res]） expression-listまたはbraced-init-list（イニシャライザ）は、イニシャライザを指定して指定された型の値を構築します。

そして$7.1.7.2/1 Simple type specifiers [dcl.type.simple]

シンプルな型指定はもちろん

simple-type-specifier: 
    nested-name-specifieropt type-name 
    nested-name-specifier template simple-template-id 
    nested-name-specifieropt template-name 
    char 
    char16_t 
    char32_t 
    wchar_t 
    bool 
    short 
    int 
    long 
    signed 
    unsigned 
    float 
    double 
    void 
    auto 
    decltype-specifier 
type-name: 
    class-name 
    enum-name 
    typedef-name 
    simple-template-id 
decltype-specifier: 
    decltype (expression) 
    decltype (auto) 

Answer 2

解析の優先順位のためです。 int(0)がunsigned intより前に一致するため、コンパイラが失われます。

あなたは括弧であなたのタイプを同封する必要があります。

auto x = (unsigned int)(0); 

かのtypedefを使用します。

typedef unsigned int uint; 
auto x = uint(0);