每当使用 constexpr 指定调用的函数时，将委托方法声明为 constexpr

Question

请考虑以下课程

template<class T>
class foo
{
public:
    auto bar() { return m_t.bar(); }

private:
    T m_t;
};

如果我们希望foo<T>::bar 在T::bar 不抛出时不抛出，我们可以将其声明更改为

auto bar() noexcept(noexcept(m_t.bar())) { return m_t.bar(); }

但是，如果我们希望在 T::bar 与 constexpr 一起指定时将 foo<T>::bar 指定为 constexpr，我们该怎么办？

我们可以写吗

constexpr auto bar() noexcept(noexcept(m_t.bar())) { return m_t.bar(); }

它在任何一种情况下都可以工作吗？我已经用 clang 3.7 (C++17) 对此进行了测试，似乎是这样，但我不确定编译器是否在这里正常工作。

Answer 1

来自[dcl.constexpr]：

如果 constexpr 函数模板或类模板的成员函数的实例化模板特化无法满足 constexpr 函数或 constexpr 构造函数的要求，则该特化仍然是 constexpr 函数或constexpr 构造函数，即使对此类函数的调用不能出现在常量表达式中。如果模板的特殊化不能满足constexpr 函数或constexpr 构造函数的要求，当被视为非模板函数或构造函数时，则模板是非良构的；无需诊断。

鉴于有Ts 可以有一个constexpr X bar() 可以在常量表达式中使用，模板很好。如果T 有一个非constexpr bar()，那么foo::bar 仍被视为constexpr，但不能出现在常量表达式中。