StackOverflow2013

Note that there are some explanatory texts on larger screens.

plurals

POexplicit template instantiation gives compile error on XLC, but works on other compilers
text
Body
copied!<p>The following code is a simplified minimal version of a feature I am trying to implement for a client requirement. </p> <p>It fails to compile on IBM's XLC compiler (version 9 and 11, both) with the error <code>A non-type template parameter cannot have type "int X::*".</code>. However, I have tried the same code with g++ 4.7.2, clang++ 3.2 and Intel-13.0, and they compile it successfully.</p> <p>I am curious to know if XLC is the only sane voice here, or are the other compilers correct? </p> <pre><code>struct X { X() : y(123) {} int y; }; struct XFoo { typedef int X::* Type; }; template <typename Name, typename Name::Type value> struct Bar { typename Name::Type getValue(Name) { return value; } }; template class Bar<XFoo, &X::y>; // xlc error here, works fine on others int main() {} </code></pre> <p>I read through the C++ 2003 standard chapter on templates several times, and could not conclusively find something which prohibits using <code><type> <class>::*</code> as a non-template type. I have already searched through SO and search engines for an explanation, but have not come across any authoritative source which helps me decide. </p> <p>I understand that this may not be a good coding practice, but this is required for the client code since their requirement is somewhat unique. I have also tried out various other alternatives but it does not work for them. </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