constexpr функция условно член

Question

Пусть у меня есть шаблонный класс

template <typename T> 
class foo { 
    T m; 

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

Как я могу дать foo:f() constexpr спецификатор только если T::f() является constexpr?

Answer 1

Вы просто хлопнуть constexpr на нем:

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

Да, это совершенно по-прежнему в силе, даже если T::f() не constexpr; такая функция просто не может использоваться в постоянных выражениях. См. [dcl.constexpr]/6.