c++ - 模板变量特化(针对模板模板类)

Question

当我尝试为通用容器(例如 std::list<...> 而不是特定容器，例如 std::list<double> )专门化模板变量时，我收到一个链接错误 gcc 5.3 (但不是 clang 3.5 )

/tmp/ccvxFv3R.s: Assembler messages:
/tmp/ccvxFv3R.s:206: Error: symbol `_ZL9separator' is already defined

http://coliru.stacked-crooked.com/a/38f68c782d385bac

#include<string>
#include<iostream>
#include<list>
#include<forward_list>
#include<vector>

template<typename T> std::string const separator = ", ";
template<typename... Ts> std::string const separator<std::list<Ts...>        > = "<->";
template<typename... Ts> std::string const separator<std::forward_list<Ts...>> = "->";

int main(){

    std::cout << separator<std::vector<double>> << '\n';
    std::cout << separator<std::list<double>> << '\n';
    std::cout << separator<std::forward_list<double>> << '\n';

}

(这与 clang 3.5 编译得很好，并且按预期工作。可变参数模板也不是导致问题的原因，我尝试使用非可变参数模板)。

如果这不是 gcc 中的错误，你认为有解决办法吗？我尝试使用类特化，但也不可能:

template<class T>
struct separator{
    static std::string const value;
};
template<class T>
std::string const separator<T>::value = ", ";
template<typename... Ts>
std::string const separator<std::list<Ts...>>::value = "<->";
template<typename... Ts>
std::string const sep<std::forward_list<Ts...>>::value = "->";

Answer 1

这似乎是 gcc 的问题。解决方法(使用类模板)，如@T.C.建议。

template<class T>
struct sep{
    static const std::string value;
};
template<class T>
const std::string sep<T>::value = ", ";

template<typename... Ts>
struct sep<std::list<Ts...>>{
    static const std::string value;
};
template<typename... Ts>
const std::string sep<std::list<Ts...>>::value = "<->";

template<typename... Ts>
struct sep<std::forward_list<Ts...>>{
    static const std::string value;
};
template<typename... Ts>
const std::string sep<std::forward_list<Ts...>>::value = "->";

然后是模板变量(因此具有相同的接口(interface))

template<typename T> std::string const separator = sep<T>::value;

这在 gcc 和 clang 中都有效。

---

或者@T.C.也建议，使用静态函数成员而不是静态成员(代码更少)

template<class T>
struct sep{
    static std::string value(){return ", ";}
};
template<typename... Ts>
struct sep<std::list<Ts...>>{
    static std::string value(){return "<->";}
};

template<typename... Ts>
struct sep<std::forward_list<Ts...>>{
    static std::string value(){return "->";}
};
...
template<typename T> std::string const separator = sep<T>::value();

---

或者使用constexpr const char*

template<class T>
struct sep{static constexpr const char* value = ", ";};

template<typename... Ts>
struct sep<std::list<Ts...>>{static constexpr const char* value = "<->";};

template<typename... Ts>
struct sep<std::forward_list<Ts...>>{static constexpr const char* value = "->";};
...
template<typename T> std::string const separator = sep<T>::value;

我尝试使用 const_str(std::string 的 constexpr 友好版本)但我遇到了奇怪的链接器错误。