考虑以下 c++ 程序：
template<typename X>
struct S
{
X x;
};
template<typename>
void f()
{
S<void> s;
}
int main()
{
}
使用“-std=c++17 -pedantic-errors”编译时，clang 会出现编译错误，但 gcc 不会出现编译错误。
c++ 标准对这个程序有什么看法？它是否有效？如果它无效，它是否有未定义的行为？
如果回答这个问题的人可以继续并在他们的回答中包含 c++ 标准的相关部分，那就太好了。
编译器资源管理器链接来试试这个：https://godbolt.org/z/Ke1K7b
【问题讨论】：
f() 永远不会被实例化。将f<int>(); 添加到主目录。
标签： c++ templates language-lawyer
您的函数模板使程序格式错误，无需诊断。
[温度分辨率]
8 模板的有效性可以在任何之前检查 实例化。 [注意：知道哪些名称是类型名称允许 以这种方式检查的每个模板的语法。 ——尾注] 程序格式错误，不需要诊断，如果：
- 无法为模板或模板中的 constexpr if 语句的子语句生成有效的特化，并且 模板未实例化，或
无论你用什么实例化f，它都会导致一个无效的声明。所以它与那个段落匹配。
Clang 会立即检查，而 GCC 不会，但两种方法同样有效。无论哪种方式，问题在于模板中的构造，而不是编译器。
【讨论】：
if constexpr 分支就像一个从未实例化的模板。它仍然是格式不正确的 ndr。
S<void> 可以特化为有效并不重要。该专业化仍然需要在之前 f 可见，因为S<void> 类型不相关。它是不可见的，所以它只是我们插入 [temp.res]/8 的无条件无效构造。
S<void> 也需要依赖，而不仅仅是 if constexpr 条件。