Re: ODR for explicit specializations

From:

Greg Herlihy <greghe@mac.com>

Newsgroups:

comp.lang.c++.moderated

Date:

Fri, 30 Oct 2009 12:46:18 CST

Message-ID:

<6028db38-99ef-4990-96e6-0c0b6b43e7a5@15g2000yqy.googlegroups.com>

On Oct 29, 7:03 pm, Andrey Tarasevich <andeytarasev...@hotmail.com>
wrote:

For example, if I define

template <typename T> struct S {};
template <> struct S<int> {};

in a header file and include it into multiple translation units, I'd
violate the requirements of 14.7/5, since my program will contain
multiple explicit specializations of `S<T>` for `T == int`. This doesn't
feel right.

No, the S<int> specialization is fine where it is. To count the
specializations of S<int> simply ask yourself how many S<int>
specializations did you write? If you wrote only one S<int>
specialization (the one in the header file), it means that the program
has specialized the S template for an int argument only once. Now, if
you had written another S<int> specialization somewhere else in the
program, then that would count as a second specialization of the same
template - and then you would have violated the rule you cited.

Greg

--
[ See http://www.gotw.ca/resources/clcm.htm for info about ]
[ comp.lang.c++.moderated. First time posters: Do this! ]