無効になっていますか？

Question

このコードがエラーなしでコンパイルなぜ私は理解していない：

#include <iostream> 

template <class T> 
struct Test 
{ 
    static constexpr T f() {return T();} 
}; 

int main() 
{ 
    Test<void> test; 
    test.f(); // Why not an error? 
    return 0; 
} 

は、それが標準に従ってOKですが、またはそれは、コンパイラの許容範囲でしょうか？

Answer 1

これは段落は（強調鉱山を）言うdraft C++11 standard、我々はセクションを見れば5.2.3明示的な型変換（関数表記）によって有効になります。

The expression T(), where T is a simple-type-specifier or typename-specifier for a non-array complete object type or the (possibly cv-qualified) void type, creates a prvalue of the specified type, whose value is that produced by value-initializing (8.5) an object of type T; no initialization is done for the void() case.[...]

文言はかなり似ていますpre C++11も同様である。

The definition of a constexpr function shall satisfy the following constraints:

と、この弾丸を含んを：

its return type shall be a literal type;

とのボイドはでリテラルない部分7.1.5段落3が言うにもかかわらず、constexprので

これ大丈夫C++ 11セクションごと3.9段落、しかし我々は、それがこのケースに合った例外を与える段落を見れば、それは言う：C++14 draft standard無効でケーシーnotedよう

If the instantiated template specialization of a constexpr function template or member function of a class template would fail to satisfy the requirements for a constexpr function or constexpr constructor, that specialization is not a constexpr function or constexpr constructor. [ Note: If the function is a member function it will still be const as described below. —end note ] If no specialization of the template would yield a constexpr function or constexpr constructor, the program is ill-formed; no diagnostic required.

はリテラルです、このセクションで3.9タイプ段落は言う：

A type is a literal type if it is:

と含まれています

— void; or

Answer 2

詳細については、@ Shafik Yaghmourの答えをご覧ください。

以下の段落は、非テンプレート（7.1.5（3））のためにこれを禁止：

The definition of a constexpr function shall satisfy the following constraints:

• [...]

• its return type shall be a literal type or a reference to literal type

詳述すると、リテラル型がスカラー型または組成物として3.9（10）で定義されています配列または構造体のリテラル型オブジェクトvoidは3.9（9）でスカラー型ではありません。

Answer 3

あなたの関数はvoid()という値を返します。あなた自身がvoid関数から返ってくるわけではありません。 NULLの値が返されます。あなたがやっていることは次のようになります：

void f() { return void(); } 

これは唯一の空値である空値を返します。空の関数から別の型を返すことはできません。