有条件的 constexpr 成员函数

Question

假设我有一个模板类

template <typename T>
class foo {
    T m;

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

如果T::f() 是 constexpr，我如何才能给 foo:f() constexpr 说明符？

Answer 1

你只需在上面打一个constexpr：

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

是的，即使T::f() 不是constexpr，它仍然完全有效；这样的函数根本不能在常量表达式中使用。见[dcl.constexpr]/7。