SFINAEでconstexprを検出する

Question

私はC++コードの一部をアップグレードして、C++ 11の新機能を利用しています。ほとんどの場合（常にではありませんが）定数式を返す基本型を返すいくつかの関数を持つtraitクラスがあります。私はその機能がconstexprであるかどうかに基づいて異なることをしたいと思います。私は、次のアプローチを思い付いた：両方の機能がSFINAE後に使用可能である場合、最初のものは、解像度を過負荷によって選ばれますように

template<typename Trait> 
struct test 
{ 
    template<int Value = Trait::f()> 
    static std::true_type do_call(int){ return std::true_type(); } 

    static std::false_type do_call(...){ return std::false_type(); } 

    static bool call(){ return do_call(0); } 
}; 

struct trait 
{ 
    static int f(){ return 15; } 
}; 

struct ctrait 
{ 
    static constexpr int f(){ return 20; } 
}; 

int main() 
{ 
    std::cout << "regular: " << test<trait>::call() << std::endl; 
    std::cout << "constexpr: " << test<ctrait>::call() << std::endl; 
} 

余分int/...パラメータがあります。

コンパイルとクラン3.2ショーでこれを実行している：

regular: 0 
constexpr: 1 

を

だから、これは動作しているように見えますが、私はコードは法的C++ 11であるかどうかを知りたいです。特に、SFINAEのルールが変更されていることを理解しているからです。

Answer 1

注：のOPコードが実際に有効であるかどうかについてI opened a question here。私の書き直した例はどんな場合でも動作します。

---

が、私はコードは、デフォルトのテンプレート引数が少し変わったと考えることができるが、それは、あるC++ 11

合法であるかどうかを知りたいです。私個人的には次のスタイル、より良い、あなたはどのように似ているような（読み：私は）ちょうど非型テンプレートパラメータを使用してdecltypeを残し、check for a function's existenceに形質を書く：

#include <type_traits> 

namespace detail{ 
template<int> struct sfinae_true : std::true_type{}; 
template<class T> 
sfinae_true<(T::f(), 0)> check(int); 
template<class> 
std::false_type check(...); 
} // detail:: 

template<class T> 
struct has_constexpr_f : decltype(detail::check<T>(0)){}; 

Live example.

---

説明時間〜

のインスタンスのデフォルトのテンプレート引数のポイントはinstantiatiのポイントですので、あなたのオリジナルのコードが†^{作品あなたの場合はmainという意味のその関数テンプレートの上にあるので、それより早く代用することはできません。}

§14.6.4.1 [temp.point] p2

[...] [...]その関数テンプレートのデフォルト引数の定義を使用した方法で呼び出された関数テンプレート、デフォルトのインスタンス化の時点であれば引数は関数テンプレート[...]のインスタンス化のポイントです。

その後、通常のSFINAEルールです。私はそう思うAtleastの†

---

は、それが標準で完全明確ではありません。

Answer 2

@ marshall-clowがプロンプトを出しましたが、私はconstexprを検出するための型特性の幾分より一般的なバージョンをまとめました。私はstd::invoke_resultでモデル化しましたが、constexprは入力に依存しているため、テンプレート引数は型ではなく渡された値です。

テンプレートの引数はlimited set of typesに限られているため、メソッド呼出時にはすべてconstになります。他のタイプが必要な場合はconstexprラッパーメソッドを簡単にテストできます。非const値の場合は、参照パラメータとしてを参照してください。

実際に便利なコードよりも多少運動とデモンストレーションがあります。

template<auto F, auto... Args>を使用すると、gcc 7またはclang 4が必要なC++ 17のみになります.MSVC 14.10.25017はコンパイルできません。

namespace constexpr_traits { 

namespace detail { 

// Call the provided method with the provided args. 
// This gives us a non-type template parameter for void-returning F. 
// This wouldn't be needed if "auto = F(Args...)" was a valid template 
// parameter for void-returning F. 
template<auto F, auto... Args> 
constexpr void* constexpr_caller() { 
    F(Args...); 
    return nullptr; 
} 

// Takes a parameter with elipsis conversion, so will never be selected 
// when another viable overload is present 
template<auto F, auto... Args> 
constexpr bool is_constexpr(...) { return false; } 

// Fails substitution if constexpr_caller<F, Args...>() can't be 
// called in constexpr context 
template<auto F, auto... Args, auto = constexpr_caller<F, Args...>()> 
constexpr bool is_constexpr(int) { return true; } 

} 

template<auto F, auto... Args> 
struct invoke_constexpr : std::bool_constant<detail::is_constexpr<F, Args...>(0)> {}; 

} 

Live demo with use-cases on wandbox