Re: numbers as 'generics' parameters

[Ivan Levashew <octagram@bluebottle.com>]

Maciej Sobczak пишет:
> template <size_t N>
> void foo(const fixed_size_string<N> & s1,
>          const fixed_size_string<N> & s2)

AFAIK this will prevent N from being unknown at compile-time. Or anyway 
I don't know how will C++ handle undefined N. AFAIK C++, there could be 
"foo <3> (const fixed_size_string<3> &, const fixed_size_string<3> &)",
"foo <4> (const fixed_size_string<4> &, const fixed_size_string<4> &)" 
mangled names. I'm not sure if C++ is able to convert dynamic template 
parameters to subroutine parameters. This could be probably solved by 
replacing "size_t N" with "const size_t& N", but AFAIK it'll render the 
automatic being demonstrated here invalid since

fixed_size_string<3> s = "Ada";
fixed_size_string<3> t = "C++";

are likely to use different "size_t&" references, aren't they?

I think this particular case is a dead-end way of promoting either Ada 
over C++ or C++ over Ada.

-- 
If you want to get to the top, you have to start at the bottom