c++ - C++ 模板参数中的三元表达式

Question

考虑以下(人工)示例:

template <int N>
struct S {};

template <typename T>
S<1 ? 42 : 24> f() { return {}; }

用 MSVC 19 2017 ( https://godbolt.org/g/K58FMr ) 编译它会出现一堆错误:

<source>(5): error C2059: syntax error: '<end Parse>'
<source>(5): error C2976: 'S': too few template arguments
<source>(2): note: see declaration of 'S'
<source>(5): error C2988: unrecognizable template declaration/definition
<source>(5): error C2059: syntax error: '{'
<source>(5): error C2143: syntax error: missing ';' before '{'
<source>(5): error C2447: '{': missing function header (old-style formal list?)

clang 和 gcc 编译成功。是 MSVC 中的错误还是我做错了什么？

附言我知道 1 ？ 42 : 24 可以简化。它在这里专门用于在一个可重现的小案例上演示该问题。

Answer 1

MSVC 在解析它时出错。都是有效的 C++。但是，您可以通过添加括号来帮助它:

template <int N>
struct S {};

template <typename T>
S< (1 ? 42 : 24) > f() { return {}; }

See it live