条件付きconstexprのメンバ関数

Question

と仮定私が持っている

template <typename T> 
class foo { 
    T m; 

    decltype(auto) f() { return m.f(); } 
}; 

がどのように私はfoo:f()T::f()がconstexprのある場合にのみ、constexprの指定子与えることができますテンプレートクラス？

Answer 1

あなたはそれにconstexprを平手打ち：

constexpr decltype(auto) f() { return m.f(); } 

はい、それはT::f()がconstexprない場合であっても完全にまだ有効です。そのような関数は単純に定数式では使用できません。​​を参照してください。