Шаблон Алиас с Значение по умолчанию

Question

Информация

Я пытаюсь использовать шаблон псевдоним для улучшения readabilty моего кода. В идеале я хотел бы, чтобы псевдоним имел аргумент по умолчанию, поэтому, если я не использую шаблон, он использует значение по умолчанию (точно с помощью функций шаблона и классов шаблонов).

Код будет выглядеть

template<typename T = double> 
struct mystruct {}; 

template<typename T = double> using myalias = mystruct<T>; 

int main(void) { 

    myalias MyStructWithDouble; // causes compilation error 
    myalias<int> MyStructWithInt; 

    return 0; 
} 

Компилятор (г ++ 4.7 в данном случае) вполне доволен включением = double в определении псевдонима, но это, кажется, то это игнорировать.

Я пробовал что-то вроде «специализирующегося» на псевдониме, но там компилятор не хватил.

Вопрос

Почему компилятор принимает значение по умолчанию в Defintion, если мы не имеем права использовать его? Во-вторых, есть ли способ добиться этого?

Мотивация

Этот пример очень простой, но в моем реальном коде псевдоним позволит сэкономить много печатать (есть более чем один параметр шаблона)

Answer 1

Так же, как с помощью шаблонов классов, вы по-прежнему необходимо указать пустой список аргументов шаблона:

myalias<> MyStructWithDouble; // compiles