Template方法的模板特化

Question

好吧，我有：

template<typename T>
class Reader
{
    class Input
    {
        template<typename C>
        void operator()(C& val) const
        {
            /* Do Some Work */
        }
    };
};

不幸的是，“做一些工作”的通用版本对我不起作用。 也不容易修改，因为它位于一些繁重的模板元编程代码中间。

所以我虽然可以为我的类型专门化方法。 所以我的第一步是尝试从 class 中提取通用方法。

template<typename T>
class Reader
{
    class Input
    {
        template<typename C>
        void operator()(C& val) const;
    };
};


template<typename T>
template<typename C>
void typename Reader<T>::Input template operator()<C>(C& val) const   // LINE 13
{
    /* Do Some Work */
}

不幸的是，我收到了错误：

sh:13: 错误: 错误: '&' 标记之前的预期')'

Answer 1

像平常一样写

template<typename T>
template<typename C>
void Reader<T>::Input::operator()(C& val) const   // LINE 13
{
    /* Do Some Work */
}

但是，从 class 定义通用版本并不能帮助您提供它的特殊版本，或者我确实错过了您的目标。

Answer 2

我想这是不可能的，因为它算作部分 function 模板专业化，这是不允许的。 void Reader<T>::Input::operator () (C& int)有一个Reader<T>::Input *类型的隐式第一个参数（ this指针），因此它的签名实际上是void (Reader<T>::Input *, C &) 。 您正在尝试指定C ，但不是T 。