在类模板推导指南的simple-template-id中可以使用什么?

Question

第一个简单的例子，不与GCC12编译:

#include <array>
#include <iostream>
#include <initializer_list>
template <int nvars> class Test1 {
public:
Test1( std::initializer_list<int> IL ) : arr { 0 }
{
// See https://stackoverflow.com/questions/38932089/can-i-initialize-an-array-using-the-stdinitializer-list-instead-of-brace-enclo
};
const std::array<int,nvars> arr;
};
// CTAD guide                           / simple-template-id
Test1(std::initializer_list<int> IL) -> Test1<IL.size()>;
int main() {
Test1 test1({1,2,3,4});
std::cout << "nvars: " << test1.arr.size() << std::endl;
}

这里的simple-template_id是Test1<IL.size()>，其中IL.size()是返回4的constexpr函数。它确实使用硬编码的4进行编译，但这显然违背了目的。

CTAD指南simple-template_id中允许和不允许的内容是什么?哪些名称，哪些类型的表达式?

Answer 1

问题像IL这样的参数不是constexpr。这意味着我们不能使用IL.size()作为模板实参，因为模板实参必须是编译时常数。

因此，为了解决这个问题，我们必须传递一个编译时间常数作为模板参数。一种方法是将形参作为对大小为N、元素类型为T的数组的引用，其中T和N都是模板形参。

template<typename T, std::size_t N> Test1(T const(&&)[N]) -> Test1<N>;