C＆＃x2B;＆＃x2B; 17指向tempalte类的指针，带有类模板参数

Question

我正在尝试C ++ 17类模板默认参数，并且想知道是否有人可以解释：

如果我有以下内容：

template<typename Policy = DefaultPolicy>
class MyClass { //class goes here };

然后尝试将其使用为：

MyClass * class = new MyClass();

我得到错误：

，这两个编译都可以：

MyClass stackClass = MyClass();

auto * heapClass = new MyClass();

但是 对自动在上面的工作非常感兴趣。非常感谢！

也许还有一个概念名称可以描述我可以Google以获取更多信息。

工作示例： https://godbolt.org/z/ebenxjcej

Answer 1

正确的语法构成具有默认参数的模板实例指针的是：

MyClass<> * heapClass = new MyClass();  
auto smartClass = std::make_unique<MyClass<>>(); // for same reason

myClass正式不是类型ID，它是模板名称。这就是为什么make_unique会失败的原因，因为它的参数应为typename。指针声性语法将需要相同的语法。 auto做什么是使用完整的类型ID- myClass＆lt; defaultPolicy＆gt;。
新表达式是C ++ 17中允许的特殊情况之一，以及myClass stackClass，尽管为Clarity 新的myClass＆lt;（）可以用作17年前。