Есть класс:

template<class T, bool VAL>
class A
{
};

Возможно сделать для VAL == false и VAL == true свои typedef'ы? Хотелось бы, чтобы это выглядело примерно так (разумеется, что написанное не компилируется):

typedef A<T, true> At<T>;
typedef A<T, false> Af<T>;

At<int> a1;
Af<float> a2;

Можно сделать так:

template<typename T>
struct At
{
    typedef typename A<T, true> Type;
};

template<typename T>
struct Af
{
    typedef typename A<T, false> Type;
};

Af<int>::Type foo;
At<float>::Type bar;

Здравствуйте, kpcb, Вы писали:

K>Можно сделать так:

Не совсем то, что я хотел, но лучше, чем без ничего: A<int, true> и A<float, false>
Эту конструкцию писать не так уж и трудно, но смысл интуитивно непонятен. Спасибо.

Здравствуйте, Nuzhny.
kpcb предложил хороший вариант, и я бы им воспользовался. Могу еще предложить вариант с открытым наследованием. Правда в данном случае мы получим не alias, а новый шаблонный тип, который будет также являться нужной Вам специализацией.

template<typename T>
class At: public A<T, true>
{
};

template<typename T>
class Af: public A<T, false>
{
};

At<int> a1;
Af<float> a2;

Интересно, есть ли уже какой-нибудь компилятор, который поддерживает template aliases? Вроде, особых сложностей в их реализации быть не должно.

S>kpcb предложил хороший вариант, и я бы им воспользовался. Могу еще предложить вариант с открытым наследованием. Правда в данном случае мы получим не alias, а новый шаблонный тип, который будет также являться нужной Вам специализацией.

Вариант хороший — кроме необходимости явного дуюлирования конструкторов.
Разумеется, для traits это ни к чему, но шаблоны бывают всякие...

Здравствуйте, kpcb, Вы писали:

K>Можно сделать так:

K>

K>template<typename T>
K>struct At
K>{
K>    typedef typename A<T, true> Type;
K>};

K>template<typename T>
K>struct Af
K>{
K>    typedef typename A<T, false> Type;
K>};

K>Af<int>::Type foo;
K>At<float>::Type bar;

K>

А с шаблонной ф-ей можно сделать что-то такое?