C++17类模板默认参数省略<>特性在别名模板中失效问题咨询

这确实是C++17里一个很实用的语法糖，但别名模板确实存在这个例外情况，咱们一步步拆解来看：

一、C++17的类模板简化语法 #

C17之前，哪怕类模板的所有参数都有默认值，你实例化时也必须写上<>才能触发默认参数的使用；而C17新增了更简洁的写法——当类模板的所有模板参数都提供了默认值时，实例化时可以直接省略整个模板参数列表的<>，写法和调用全默认参数的普通函数一模一样。

示例代码如下：

template<int LENGTH = 1> 
struct MyStruct{ 
    int arr[LENGTH]; 
}; 

int main() { 
    MyStruct<2> a;    // 显式指定模板参数，常规用法
    MyStruct<> b;     // C++17之前的默认参数用法，必须写<>
    MyStruct c;       // C++17新增：直接省略<>，自动使用所有默认参数
    return 0; 
}

二、别名模板的例外情况 #

不过要注意，这个语法简化并不适用于别名模板——哪怕别名模板的所有模板参数都设置了默认值，你实例化时也必须显式写出<>（要么带参数，要么空的<>用默认值），不能直接省略。

举个完整的示例：

// 原类模板，带默认参数
template<int LENGTH = 1> 
struct MyStruct{ 
    int arr[LENGTH]; 
};

// 别名模板，同样给参数设置默认值
template<int LENGTH = 1>
using MyAlias = MyStruct<LENGTH>;

int main() {
    MyAlias<3> d;     // 正常：显式指定模板参数
    MyAlias<> e;      // 正常：使用默认参数，必须写<>
    // MyAlias f;     // 编译错误！C++标准不允许别名模板省略<>
    return 0;
}

为什么会有这个例外？ #

这是C++标准的明确规定，核心原因是为了避免语法歧义：别名模板本质是模板的"别名引用"，不属于类模板本身。如果允许省略<>，编译器可能无法区分你是要实例化这个别名模板，还是有一个同名的普通类、变量或者其他实体存在，会引发解析混乱。

内容的提问来源于stack exchange，提问作者Mark