c++ - 即使实例化不是 constexpr，模板函数声明的 constexpr 是否总是内联？

Question

根据这个answer constexpr 函数总是 inline .

可以声明一个模板函数constexpr即使所有特化都不满足成为 constexpr 的要求功能。在最后一种情况下，特化不是 constexpr .

例如:

template<class T>
constexpr decltype(auto) size(const T& a){
   return a.size();
}
std::array<int,10> arr;
std::vector<int> vec;
size(arr);//constexpr
size(vec);//not a constexpr;

实例化size<std::vector>不是 constexpr , 但它是 inline ？

Answer 1

是的；引用 N4640，[dcl.constexpr]/1:

… A function or static data member declared with the constexpr specifier is implicitly an inline function or variable. …

这里的关键是“用声明”——重要的是声明，而不是满足constexpr要求。