StackOverflow2013

Note that there are some explanatory texts on larger screens.

plurals

PO
text
Body
copied!<p>Clang is being inconsistent. <a href="http://coliru.stacked-crooked.com/a/94b4b1df122762ce">Since it accepts your code</a>, I'm expecting the following code must output <code>f(Int<long long>)</code> instead of <code>f(T)</code>:</p> <pre><code>using IntType = unsigned long long; template <IntType N> struct Int {}; template<typename T> void f(T) { std::cout << "f(T)" << std::endl; } template<long long N> void f(Int<N>) { std::cout << "f(Int<long long>)" << std::endl; } int main() { f(Int<0>{}); } </code></pre> <p>But surprisingly, it outputs this (<a href="http://coliru.stacked-crooked.com/a/0ad6a48e90adeb1d">online demo</a>):</p> <pre><code>f(T) </code></pre> <p>That shows <code>Int<0></code> does NOT match with the second overload which accepts the argument as <code>Int<N></code>. If that is so, then why does it match with <code>Int<N></code> when it is used as template argument to the class template (in your case)?</p> <p>My conclusion:</p> <ul> <li>If Clang is correct in <strong>my</strong> case, then it is incorrect in <strong>your</strong> case.</li> <li>If Clang is correct in <strong>your</strong> case, then it is incorrrect in <strong>my</strong> case.</li> </ul> <p>Either way, Clang seems to have bug.</p> <p>GCC, on the other hand, is consistent at least. That doesn't prove though that it doesn't have bug — it might mean that it has bug in both cases! Unless someone comes up with the standardese and showing it has bug <em>too</em>, I'm going to trust GCC in this case.</p>

Querying!

Guidance

An individual column

Larger individual text columns get their own page to allow for proper reading.

SQuiL has stopped working due to an internal error.

If you are curious you may find further information in the browser console, which is accessible through the devtools (F12).

Reload