Is the following C++1y/C++14 program ill-formed? <pre class="prettyprint"><code>template<class> constexpr auto X = 42; int main() { static_assert(X<int> == 42, ""); } </code></pre> Why / why not? Clang trunk complains that: <pre class="prettyprint"><code>error: invalid operands to binary expression ('auto' and 'int') </code></pre>

C++1y/14: auto variable templates?

Is the following C++1y/C++14 program ill-formed?

template<class> constexpr auto X = 42;

int main()
{
        static_assert(X<int> == 42, "");
}

Why / why not?

Clang trunk complains that:

error: invalid operands to binary expression ('auto' and 'int')

483

asked Mar 15 '14 19:03

This was a bug in clang, it is now fixed: http://llvm.org/bugs/show_bug.cgi?id=19152

106

answered Sep 29 '22 17:09

If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!