不完全な型の呼び出し演算子のdecltypeのための特別な振る舞い

Question

私はコンパイルの問題に苦労しており、問題を小さなコードセグメントに縮小することができました。

ステージを設定するには、基本メソッドが派生クラスの別のものを呼び出すCRTPを実行しようとしています。問題は、末尾の戻り値の型を使用して、直接、派生クラスのメソッドに転送の型を取得することです。が派生クラスの呼び出し演算子に転送されない限り、これは常にをコンパイルできません。

これはコンパイル：

#include <utility> 

struct Incomplete; 

template <typename Blah> 
struct Base 
{ 
    template <typename... Args> 
    auto entry(Args&&... args) 
     -> decltype(std::declval<Blah&>()(std::declval<Args&&>()...)); 
}; 

void example() 
{ 
    Base<Incomplete> derived; 
} 

を、これはしませんが：（注唯一の違いについてのコメント）

#include <utility> 

struct Incomplete; 

template <typename Blah> 
struct Base 
{ 
    template <typename... Args> 
    auto entry(Args&&... args) 
     -> decltype(std::declval<Blah&>().operator()(std::declval<Args&&>()...)); 
     //    I only added this ^^^^^^^^^^^ 
}; 

void example() 
{ 
    Base<Incomplete> derived; 
} 

私が取得エラー：

<source>: In instantiation of 'struct Base<Incomplete>': 
15 : <source>:15:22: required from here 
10 : <source>:10:58: error: invalid use of incomplete type 'struct Incomplete' 
     -> decltype(std::declval<Blah&>().operator()(std::declval<Args&&>()...)); 
        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^ 

があるようですDerivedクラスのdecltypeを解決する際にいくつかの特別な動作が起こります。これを説明するものが標準の中にありますか？

EDIT：メイドさらに大きな簡素化

PS：godbolt上の例をコンパイル：クラステンプレートをインスタンス化https://godbolt.org/g/St2gYC

Answer 1

は、そのメンバ関数テンプレート（[temp.inst]/2）の宣言をインスタンス化します。私。宣言（またはセット、

（14.6.2で定義されている）の名前は、テンプレートパラメータに依存していない場合：私たちは今[temp.res]/10を考える宣言

template <typename... Args> 
auto entry(Args&&... args) 
    -> decltype(std::declval<Incomplete&>().operator()(std::declval<Args&&>()...)); 

を見ています宣言） は、その名前がテンプレート定義に現れる場所でスコープ内になければなりません。

実際、operator()の名前はテンプレートパラメータに依存しません。タイプ依存でも値依存でもなく、従属名でもありません。明らかに、範囲に宣言はないので、宣言は不正な形であり、診断は必要ありません。

これに対して、最初のスニペットでは、Incompleteの名前の検索は必要ありません。 x.operator()(...)にxクラスタイプであるx(...)の変換は、operator()は[over.call] — X内でルックアップされた後にのみ起こる：

したがって、コールx(arg1,...)はx.operator（）（ARG1として解釈され、.. 。 のクラスオブジェクトx の場合T​::​operator()(T1, T2, T3)が存在し、 解決メカニズム（[over.match.best]）によって最適な一致関数として演算子が選択されている場合は です。

これは、2番目のコードが不正な形式になっている段落とは異なります。[temp。res]/10は、の宣言の一部がであること、およびその名前がそれらの宣言にバインドされていることを示しています。上記の変換では、引数型（およびnumber ...）も既知であるため、operator()を呼び出すことを一意に決定できます。つまり、.operator()を挿入するだけではなく、呼び出される演算子関数を常に同時に識別します。演算子のオペランドの型に依存式である場合、オペレータはまた、依存名を表し

：私たちは、[temp.dep]でこの解釈のさらなる確認を見つけることができます。そのような名前はバインドされておらず、テンプレートのインスタンシエーションの時点で参照されます[...]

operator()の引数の型は明らかに型依存です。