Re: Conversion error in template specialization
[This is a second attempt to get my posting through]
On 12 Mai, 13:54, "Matthias Hofmann" <hofm...@anvil-soft.com> wrote:
The disambiguation overload works! :-) Here's the complete (?) list of
Unfortunatly the list is incomplete. It will e.g. fail for the
use-case
char* a = ...;
const char* b = ...;
minimum(a, b);
The solution is easy: Replace both *specializations* of
the primary minimum template by a single non-template
function:
char const* minimum( char const* a, char const* b )
{
return std::strcmp( a, b ) < 0 ? a : b;
}
By the way, I have a question concerning these two spezializations:
template<size_t N> inline
const char* minimum( const char (&a)[N],
const char(&b)[N] );
template<size_t N1, size_t N2> inline
const char* minimum( const char (&a)[N1],
const char (&b)[N2] );
Are these spezializations *partial* ones? They have a template parameter
list, like partial spezializations do, but the parameters are only used to
specify the *size* of the arrays, not their *type* - or is the size of an
array part of its type?
No, there does not exist the concept of partial specialization
for function templates, these are called overloads. For class
templates only we have also partial specialization, for functions
only we have overloading.
Yes, the size of an array type is part of the type, if the
size is given by an ICE expression of an, see 8.3.4/1:
"[..]If the value of the constant expression is N, the array has
N elements numbered 0 to N-1, and the type of the identifier of
D is "derived-declarator-type-list array of N T."[..]"
Greetings from Bremen,
Daniel Kr?gler
--
[ See http://www.gotw.ca/resources/clcm.htm for info about ]
[ comp.lang.c++.moderated. First time posters: Do this! ]