templates - 模板返回值的模板函数的完全特化

Question

假设我有一个像这样的模板函数:

template <typename Key>
Key foo(const string &name);

我知道为了专门化模板函数，我们必须像这样完全专门化它:

template<>
int foo<int>(const string &name);

但现在我正在寻找一种方法来专门为模板对象提供此函数，如下所示:

template<>
Bar<Key> foo<Bar<Key>>(const string &name);

我认为这不会违反任何 c++11 专门化和函数覆盖的法律。但我仍然找不到方法来做到这一点。

我宁愿不使用类而是使用函数来进行部分专门化来实现此功能。您对实现此函数并将其专门用于模板返回值有什么建议吗？

编辑:

我作为特化示例提到的函数没有有效的语法，因为它具有未定义的类型Key。我写它只是为了表明没有可能的解决方案。如果我尝试将其完全定义为:

template<typename Key>
Bar<Key> foo<Bar<Key>>(const string &name);

编译器无法编译它，因为它被假定为部分特化函数。

Answer 1

有一种方法可以使用 enable_if 魔法来重载(而不是专门化)foo。

template <typename Key>
typename std::enable_if<!is_specializaton<Bar, Key>::value, Key>::type
foo(const string &name);

template<typename KeyCont>
typename std::enable_if<is_specializaton<Bar, KeyCont>::value, KeyCont>::type
foo(const string &name);

其中 is_specialization 可以这样定义:

template <template<typename...> class T, typename ... args>
struct is_specializaton {
    static const bool value = false;
};

template <template<typename ... > class a, typename ... args >
struct is_specializaton<a, a<args...>> {
    static const bool value = true;
};