C 17中类模板的模板参数推断：我做错了吗？

Question

根据https://gcc.gnu.org/projects/cxx-status.html，g的第7版，与标志-std=c1z一起使用，支持类模板的模板参数推断。

我希望编译以下代码，特别是因为Base是一个抽象类：
1。编译器知道不能创建Base的实例
2。指向basept_base的指针指向一个明确定义的实例（即派生实例）

template<typename ValueType>
class Base {
public:
    virtual ValueType getValue() = 0;
};

template<typename ValueType>
class Derived : public Base<ValueType>{
public:
    Derived(ValueType argt){ value = argt; }
    virtual ValueType getValue(){ return value; }
    ValueType value;
};

int main(){
    Base *pt_base = new(Derived<int>{42}); // *ERROR*
    delete pt_base;
}

然而，它并没有编译。G抱怨“模板占位符类型'Base'后面必须跟一个简单的声明器id”；如果我理解正确，它不会推断模板参数
这很遗憾，因为我想动态决定哪个派生类pt_base指向（可能是类派生的对象

GCC只对C 17提供实验性支持，我没有访问其他编译器的权限，因此尽管我遇到编译错误，但我不确定我的代码是否错误。你觉得怎么样
我们如何动态地确定pt\u base指向派生的对象




Answer 1

类模板参数推断用于声明类类型的实例：

Derived d(42);

或新的表达方式：

auto p = new Derived(42);

或函数风格的演员：

foo(Derived(42));

它不适用于声明指针。

您必须像往常一样简单地提供模板参数。或者，我猜：

template <class T> Base<T>* downcast(Base<T>* p) { return p; }
auto pt_base = downcast(new Derived(42));