gpt4 book ai didi

c++ - 子类作为模板基类的模板模板参数,而模板基类又是子类函数参数

转载 作者:搜寻专家 更新时间:2023-10-31 01:25:55 25 4
gpt4 key购买 nike

下面的代码

template<template<typename, typename> class T, typename EKeyType, typename EValueType>
class Baseclass
{
};

template<typename EKeyType, typename EValueType>
class Derived : public Baseclass<Derived, EKeyType, EValueType>
{
public:
void foo(const Baseclass<Derived, EKeyType, EValueType>& param){}
};

导致以下编译错误:

MSVC 14: error C3200: 'Derived<EKeyType,EValueType>': invalid template argument for template parameter 'T', expected a class template
clang 3.0.0: error: template argument for template template parameter must be a class template.

但是 Derived 类模板。

当我将代码更改为以下内容时,一切都可以正常编译:

template<template<typename, typename> class T, typename EKeyType, typename EValueType>
class Baseclass
{
};

template<typename EKeyType, typename EValueType> class Derived;

template<typename EKeyType, typename EValueType>
class Derived2 : public Baseclass<Derived, EKeyType, EValueType>
{
public:
void foo(const Baseclass<Derived, EKeyType, EValueType>& param){}
};

表示错误信息具有误导性。

第一段代码有什么问题?

如何让模板子类从模板基类继承,子类是基类的模板模板参数,并且子类中还有一个成员函数,该成员函数将对此基类的引用作为参数?

最佳答案

第一个片段被 GCC 和 Clang 接受。参见 here .

我似乎记得 MSVC 有一个错误,它认为 Derived 是指注入(inject)的类名,而不是模板名。但是,标准非常清楚,当封闭类的名称用作模板模板参数的参数时,它应该被解释为模板( [temp.local]/1 ),因此您的代码没有问题。

看来您使用的旧版 Clang 可能存在相同的错误。

作为解决方法,您可以编写 ::Derived 以强制它查找模板名称,而不是注入(inject)的类名称。

关于c++ - 子类作为模板基类的模板模板参数,而模板基类又是子类函数参数,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/56190900/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com