GCCとクラン異なる動作

Question

：

struct Wrapper { 
    int value; 

    constexpr explicit Wrapper(int v) noexcept : value(v) {} 
    Wrapper(const Wrapper& that) noexcept : value(that.value) {} 
}; 

そして、この機能：

constexpr Wrapper makeWrapper(int v) 
{ 
    return Wrapper(v); 
} 

次のコードは、クラン（アップルLLVMのバージョン7.3.0）用にコンパイルに失敗し、しかし、両方-Wall -Wextra -Werror -pedantic-errorsで、GCC（4.9+）の罰金コンパイル：

constexpr auto x = makeWrapper(123); 

クランはと文句を言い"非constexprコンストラクタ 'Wrapper'は定数式では使用できません。"どのコンパイラが正しいのですか？

Answer 1

WrapperをmakeWrapper()から返すときのコピーまたは移動は省略できますが、C++ 14が必要です。既存のコピーコンストラクタは非constexprであり、その存在は暗黙のムーブコンストラクタの作成を禁止します。その結果、clangは正しいと思います。コピーコンストラクタをconstexprにする必要があります。

C++では、コードが正しくなる可能性があることに注意してください。いくつかのコンテキストでは、コピー・エリジョンを必須とする提案があります。P0135r0。しかし、この変化はまだ作業用紙には載っていないようです。今週着陸するかもしれませんが（@ NicolBolasのおかげでそれはまだありません）私はmailingの更新された論文を見ていません。

Answer 2

Clangが正しいです。コピーコンストラクタ（RVO）を自動的に削除するので、g ++で動作します。 -fno-elide-constructorsを渡すとg ++はまた不平を言う。

C++ 14標準.. constexprオブジェクト内のコピーエリジオンについては明らかではない

[class.copy/32] ... （部分的にここに再現）

ときのエリジオンのための基準コピー/移動操作が満たされています.... ... が省略されていても、選択されたコンストラクタにアクセスできる必要があります。

accessibleの定義がわかるまでは？ g ++も正しいと思いますか？オブジェクトの宣言に使用

dcl.constexpr/9

constexprの指定子は、CONSTとして オブジェクトを宣言する。そのようなオブジェクトはリテラルタイプを持ち、 を初期化するものとする。コンストラクタ呼び出しによって初期化された場合、その呼び出し は定数式（[expr.const]）になります。それ以外の場合、または constexpr指定子が参照宣言で使用されている場合、初期化子に表示される 完全表現はすべて、定数 の式になります。

Dietmar Kuhl's answerは、先を先取りしています。

デモ：

struct Wrapper { 
    int value; 

    constexpr explicit Wrapper(int v) noexcept : value(v) {} 
    Wrapper(const Wrapper& that) noexcept : value(that.value) {} 
}; 

constexpr Wrapper makeWrapper(int v) 
{ 
    return Wrapper(v); 
} 

int main() 
{ 
    constexpr auto x = makeWrapper(123); 
} 

コンパイル

g++ -std=c++14 -Wall -pedantic -fno-elide-constructors main.cpp && ./a.out 

とlive here

Answer 3

両方のコンパイラが正しいそれを参照してください。

constexpr関数と初期化プログラムのルールでは、constexpr以外の関数を呼び出せないとしています。

コピーエリジョンのルールでは、非constexprコピーコンストラクタが呼び出されるかどうかは不明です。

唯一の結論は、関数と初期化子がconstexprの要件を満たしているかどうかは不明です。そうであれば、コンパイラはそれを受け入れる必要があります。そうでない場合、コンパイラは問題を診断する必要があります。