Re: numbers as 'generics' parameters

[Maciej Sobczak <see.my.homepage@gmail.com>]

On 19 Maj, 07:16, Ivan Levashew <octag...@bluebottle.com> wrote:

> > 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.

Yes.

> 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.

Yes.

> I'm not sure if C++ is able to convert dynamic template
> parameters to subroutine parameters.

There are no dynamic template parameters in C++.
In other words, C++ templates and Ada generics solve overlapping, but
not equivalent problems.

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

I try not to do it. I can try, however, bring more light to the
problem raised by OP.

--
Maciej Sobczak * www.msobczak.com * www.inspirel.com