模板返回值的模板函数的完全专业化

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

有一种方法可以重载（而不是专门化）foo 和 enable_if 魔法。

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;
};