is_base_of в параметре шаблона - класс не называет тип

Question

is_base_of в параметре шаблона - класс не называет тип

0

Просто интересно, почему я не могу использовать is_base_of в аргументе шаблона C++ следующим образом:

#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

Где я ошибаюсь?

Marco A. 02 фев. 2014, в 19:47

Источник

Теги:

c++

c++11

templates

1 ответ

Ещё вопросы

Kerrek SB · Accepted Answer · 2014-02-02T16-12-00.000Z

Вы забыли ключ класса:

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

(Ключ класса может быть любым class, struct или union.)

И в частичной специализации: template<class A, class B> struct myclass<A,B,true> .
Спасибо! Ошибка была довольно неоднозначной для меня .. Я определенно устал.