即使实例化不是 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：

... 使用 constexpr 说明符声明的函数或静态数据成员隐含地是内联函数或变量。 …

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