c++ - 模板参数中的 is_base_of - 类不命名类型

Question

只是想知道为什么我不能像下面这样在 C++ 模板参数中使用 is_base_of:

#include <iostream>
#include <type_traits>
using namespace std;

struct base
{
};

struct derived : public base
{
    int value;
};




template<class A, class B, bool isbaseof = std::is_base_of<A,B>::value> myclass
{
    void foo() {
        cout << "Generic..";
    }
};

template<class A, class B> myclass<A,B,true>
{
    void foo() {
        cout << "A is not base of B";
    }
};

int main() {

    return 0;
}

错误:

prog.cpp:17:73: error: ‘myclass’ does not name a type
 template<class A, class B, bool isbaseof = std::is_base_of<A,B>::value> myclass

我哪里错了？

Answer 1

您忘记了类(class) key :

   template<class A, class B, bool isbaseof = std::is_base_of<A, B>::value>
   struct myclass
// ^^^^^^

(类键可以是class、struct或union中的任意一个。)