类模板推导指南的简单模板id中可以使用什么?

Simple example 首先,不使用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() 是一个 constexpr 函数返回4。它确实使用硬编码编译 4 ,但这显然违背了目的。

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