c++ - 模板特化编译器错误

Question

我有一个 main.cpp 和一个名为 bar.h 的头文件 这是main.cpp。我的目标是让程序打印出“bar”:

#include "bar.h"

struct Raw{
};

template<typename Obj>
struct IsBar{
    static const bool value = false;
};

template<typename Obj, bool>
struct function{
    static void callbar(Obj obj){ 
        obj.bar();
    }; 
};

template<typename Obj>
struct function<Obj, false>{
    static void callbar(Obj obj){ 
        std::cout<< "no bar()" << std::endl;
    }; 
};

int main()
{
    typedef Bar<Raw> Obj;
    Obj obj;

    function<Obj, IsBar<Obj>::value> f;
    f.callbar(obj); 

    return 0;
}

对于 bar.h:

template<typename T>
struct Bar{
    void bar()
    {
        std::cout<< "bar" << std::endl;
    };
};

template<>
struct IsBar<Bar>{ // I know this wouldn't work, but how do I do something like Bar<Raw> instead of just Bar?
    static const bool value = true;
};

编译器给了我这个错误:错误:“IsBar”不是类模板。 之前我尝试将 bar.h 的内容放入 main.cpp 中，一切正常，因为当我声明 IsBar<> 时，Raw 是已知的。特化使用 Bar<Raw> .

Answer 1

你想要partial specialization ，例如

template<typename T>
struct IsBar<Bar<T>> {
    static const bool value = true;
};

这意味着 Bar<T> 的所有实例化, IsBar<Bar<T>>::value是 true .

请注意，主模板应在特化之前声明；我认为您应该移动 IsBar 的主模板定义来自main.cpp至bar.h .

LIVE