具有嵌套非专业化类型的模板专业化

Question

我在制定嵌套部分模板专业化的语法时遇到问题。我认为无论如何这是正确的表达方式。我想要的是一个返回强制转换值的 as() 函数。在大多数情况下，static_cast 可以正常工作，因此我有一个通用版本可以做到这一点，但在某些情况下我想要具体一点。我遇到的麻烦是当尝试使用通用的typename返回两个相似的模板化类类型时。

template<typename ClassType>
class Generic
{
public:
    // Constructors/etc excluded

    template<typename CastType>
    CastType as() const;

private:
    ClassType m_value;
};

// Templated version:
template<typename ClassType> template<typename CastType> inline
CastType Generic<ClassType>::as<CastType>() const
{
    return static_cast<CastType>(m_value);
}

这就是设置。实际上我不是 100% 确定这是否是最好的方法，但它在 GCC 中编译并且似乎可以工作，所以..无论如何。现在我想专注于另一种模板类型（在本例中为 Eigen::Matrix ——但也许是 std::vector 或其他类型可能会及时使用，即从 std::vector 转换为部分模板化的 std::list）：

template<> template<typename CastType> inline
CastType Generic<Eigen::Matrix<CastType,4,1> >::as<CastType>() const
{
    return m_value[0];
}

这有什么意义吗？稍微不同的版本怎么样，我采用不同大小的 Eigen::Matrix 并专门处理它们？

template<> template<typename CastType> inline
Eigen::Matrix<CastType,3,1> Generic<Eigen::Matrix<CastType,4,1> >::as<Eigen::Matrix<CastType,3,1>() const
{
    return Eigen::Matrix<CastType,3,1>( m_value[0], m_value[1], m_value[2] );
}

我知道上面的两个代码位不起作用，而且语法可能很糟糕，这就是我正在努力解决的问题。如果这是重复的，请原谅。我查看了几个类似的问题，但似乎没有一个与此相关，或者我只是没有看到它。

Answer 1

由于函数不能部分特化，因此我们部分特化一个 functionoid-thingy，并使函数仅使用专门的类。

//generic version
template<typename ClassType, typename CastType> class As { 
public: CastType operator()(const ClassType& b)
    {return static_cast<CastType>(b);}
};
//specialization
template<> class As<int, char* > { 
public: char* operator()(const int& b)
    {throw b;} //so we know it worked
};

//generic class 
template<typename ClassType>
class Generic
{
public:
    Generic() {m_value=0;} //codepad made me put this in
    // Constructors/etc excluded

    template<typename CastType>
    CastType as() const; //as function

private:
    ClassType m_value;
};

// as function simply grabs the right "As" class and uses that
template<typename ClassType> template<typename CastType> inline
CastType Generic<ClassType>::as() const
{
    As<ClassType, CastType> impl;
    return impl(m_value);
}

//main, confirming that it compiles and runs (though I didn't check b...)
int main() {
    Generic<int> gint;
    float b = gint.as<float>();
    char* crash = gint.as<char*>();
}

代码位于：http://codepad.org/oVgCxTMI
结果：

未捕获的 int 类型异常
已中止。