c++ - 使用另一个隐式转换为它的类的模板特化

Question

我不知道这是否可行，但我想更好地了解它是如何工作的。

是否可以使用类隐式转换操作来匹配模板参数？这就是我想要做的。

#include <iostream>

template<typename T>
struct Value {
};

template<>
struct Value<int> {
    static void printValue(int v) {
        std::cout << v << std::endl;
    }
};

struct Class1 {
    int value;
};

/*
template<>
struct Value<Class1*> {
    static void printValue(Class1* v) {
        std::cout << v->value << std::endl;
    }
};
*/

template<typename X>
struct ClassContainer {
    ClassContainer(X *c) : _c(c) {}
    operator X*() { return _c; }
    X *_c;
};

template<typename X>
struct Value<ClassContainer<X>> {
    static void printValue(ClassContainer<X> v) {
        std::cout << static_cast<X*>(v)->value << std::endl;
    }
};

template<typename X>
void doPrintValue(X v)
{
    Value<X>::printValue(v);
}

int main(int argc, char *argv[])
{
    doPrintValue(10);

    Class1 *c = new Class1{ 20 };
    //doPrintValue(c); // error C2039: 'printValue': is not a member of 'Value<X>'

    ClassContainer<Class1> cc(c);
    doPrintValue(cc);

    std::cout << "PRESS ANY KEY TO CONTINUE";
    std::cin.ignore();
}

ClassContainer 具有到 X* 的隐式转换。是否可以匹配仅传递 X* 的 ClassContainer？

Answer 1

如果您希望指针的模板类表现得像其他东西的模板类，只需继承:

template<typename T>
struct Value<T*> : Value<ClassContainer<T>> {};

它将继承公共(public)printValue 函数，该函数接受一个可以从T* 构造的参数，所有内容都将按预期进行隐式转换。

现场观看 here .