调用模板参数 constexpr 方法？

Question

std::array<...>::size() 是非static constexpr 方法；是constexpr我可以用它作为模板参数：

#include <array>
#include <stdio>

int main(void) {
  std::array<char, 12> a = {{ "Hello world" }};
  std::cout << "size() = " << a.size() << ", data() = \"" << a.data() << "\"" << std::endl;

  std::array<char, a.size()> b = a;
  std::cout << "size() = " << b.size() << ", data() = \"" << b.data() << "\"" << std::endl;
}

但是，如果std::array<...> 是模板参数，事情就变得不确定了：

template <typename T>
void copy(T const& a) {
  std::array<char, a.size()> c = a;
  std::cout << "size() = " << c.size() << ", data() = \"" << c.data() << "\"" << std::endl;
}

GCC 愉快地编译了这个 [1]，而 CLANG 拒绝了 [2]

<source>:6:20: error: non-type template argument is not a constant expression
  std::array<char, a.size()> c = a;

[1]https://godbolt.org/z/Ru7Y3F
[2]https://godbolt.org/z/LYJcpo

根据标准，哪个是正确的？

---

附： 是的，我知道我可以使用 std::tuple_size 解决它：

template <typename T>
void copy(T const& a) {
  std::array<char, std::tuple_size<T>::value> c = a;
  std::cout << "size() = " << c.size() << ", data() = \"" << c.data() << "\"" << std::endl;
}

Answer 1

Clang 是正确的。

您正在评估一个引用类型的 id 表达式 (a)，它没有前面的初始化，这在常量表达式中是不允许的。

[expr.const]/2:

表达式e 是一个核心常量表达式，除非e 的计算遵循抽象机的规则，将计算以下表达式之一：

• ...

• 一个id-expression，它引用引用类型的变量或数据成员，除非该引用具有前面的初始化并且

  • 用常量表达式初始化或

  • 它的生命周期从e 的评估开始；

• ...