使用数组元素作为非类型模板参数?

绑定引用模板参数需要具有外部链接的对象的名称。单个数组元素在C++中没有名称,也没有链接。这就是引用模板参数不能绑定到数组元素的原因。见 6.5 Program and linkage [basic.link] 详细情况。

如果删除引用(如果可能),可以将其编译为:

template<typename T, T V>
struct Test {};

或者通过模板内的索引访问元素:

template<class T, T const& A, size_t Idx>
struct Test2 {
    static constexpr decltype(A[Idx]) element = A[Idx];
    static_assert(std::is_reference<decltype(element)>::value, "");
};

using test = Test2<decltype(a), a, 1>;