类的双部分模板特化

Double partial template specialization for a class

本文关键字：双部      更新时间：2023-10-16

我在学习c++11/14时偶然发现了一个小问题。基本上，我有一个调试类，我想处理所有的消息打印。大多数调试/日志记录类都有不同的日志级别，但是我想为我拥有的每个消息使用一个标志。

我有一个小枚举，我在这里定义了我的标志和它们的值:

enum DebugFlag {
    Flag1 = 0,
    Flag2 = 1,
    Flag3 = 2
};

另外，我有一个调试类，我已经设法为Flag类型专门化，它工作得很好。

template<DebugFlag T>
class Debug {
public:
    template <typename U>
    static void print(U &&arg) {}
};
template <>
class Debug<static_cast<DebugFlag>(1)> {
public:
    static void print(std::string &&message) {
        std::cerr<<message<<"n";
    }
    static void print(std::ostream &message) {
        std::cerr<<DebugStream()().str()<<"n"; 
        DebugStream()().str(""); 
        DebugStream()().clear();  
    }
    static void print(std::string &message) {
        std::cerr<<message<<"n";
    }
};
要调用这个类，我使用如下调用: 
Debug<Flag1>::print("Messagen"); // should not do anything with Flag1 compiled to 0 value
Debug<Flag2>::print("Messagen"); // should work

现在我想将这个类扩展为也接受bool值，所以这样的调用将工作:

Debug< Flag2<2 >::print("Messagen"); // should not do anything with Flag1 compiled to 2 value
Debug< Flag2<1 >::print("Messagen"); // should work

问题是我需要第二个部分专门化为我的调试类，即bool，我不能确切地指出这是什么语法。这是我最接近它，但仍然不能弄清楚我做错了什么，或者如果不做二级类并改变我希望我的调用看起来像:http://cpp.sh/6yemn

我不太明白你想如何使用你的类，但这里有一些工作。

template <typename T, T v = T()>
class Debug {};
template <>
class Debug<Flag, Flag2> {
public:
    void f() { std::cout<<"This is goodn"; }
};
template <>
class Debug<bool, true> {
public:
    void f() { std::cout<<"This is good toon"; }
};

问题是您需要指定类型:是要使用bool还是Flag，然后是值。您可以像这样实例化这个类:

Debug<bool, true> trueDebug;
Debug<Flag, Flag2> flag2Debug;

除非您添加专门化，否则其他实例不会具有f函数。例如:

template <Flag v>
class Debug<Flag, v> {
public:
    void f() { std::cout<<"This is badn"; }
};

生活例子

相关文章：