如何显式实例化一个没有参数的func模板

Question

我有一个成员函数模板，如下所示：

using ArgValue_t = std::variant<bool, double, int, std::string>;
struct Argument_t {
enum Type_e { Bool, Double, Int, String, VALUES_COUNT };
template<typename T>
as( const Argument_t& def ) const;
std::string name;
ArgValue_t  valu;
ArgValue_t  maxv;
ArgValue_t  minv;
Type_e      type = Int;
int         prec = 0;
};
// specializing for bool
template<>
bool Argument_t::as<bool>( const Argument_t& def ) const {
if( static_cast<Type_e>( valu.index() ) != Bool )
return get<bool>( def.valu );
return get<bool>( valu );
};
// specializing for double
template<>
double Argument_t::as<double>( const Argument_t& def ) const {
if( static_cast<Type_e>( valu.index() ) != Double )
return get<double>( def.valu );
return min<double>( get<double>( def.maxv ),
max<double>( get<double>( def.minv ), get<double>( valu ) ) );
};
// specializing for string
template<>
string Argument_t::as<string>( const Argument_t& def ) const {
if( static_cast<Type_e>( valu.index() ) != String )
return get<string>( def.valu );
return get<string>( valu );
};
// default version for all of integral types
template<typename T>
T Argument_t::as( const Argument_t& def ) const {
if( static_cast<Type_e>( valu.index() ) != Int )
return get<T>( def.valu );
return min<T>( get<T>( def.maxv ),
max<T>( get<T>( def.minv ), get<T>( valu ) ) );
};

当我编译它时，我得到了链接错误，所以我添加了一些它们的显式实例化。

// there is no problem with these three
template string Argument_t::as<string>( const Argument_t& ) const;
template bool Argument_t::as<bool>( const Argument_t& ) const;
template double Argument_t::as<double>( const Argument_t& ) const;
// but these six can **NOT** be compiled
template int8_t  Argument_t::as<int8_t>( const Argument_t& ) const;
template uint8_t  Argument_t::as<uint8_t>( const Argument_t& ) const;
template int16_t  Argument_t::as<int16_t>( const Argument_t& ) const;
template uint16_t  Argument_t::as<uint16_t>( const Argument_t& ) const;
template int32_t  Argument_t::as<int32_t>( const Argument_t& ) const;
template uint32_t  Argument_t::as<uint32_t>( const Argument_t& ) const;

编译器错误消息：

/usr/include/c++/9/variant：在'constexpr const_Tp&std:：get(const std:：variant<_Types…>&([with_Tp=signed char；_类型=｛bool，double，int，std:：__cxx11:：basic_string<char，std:，char_traits，std:；分配器>｝]'：参数.cpp：57:16:从'T octopact:：Argument_T:：as(const octopacts:：Argumen_T&(const[with T=signed char]'参数.cpp:67:53:从这里开始需要/usr/include/c++/9/变体：1078:42:错误：静态

断言失败：T应该在备选中只出现一次

我为什么得到这个？如何解决？

Answer 1

我想我找到了答案：

类型ArgValue_t是模板std::variant的实例，带有参数：bool/double/int/std::string，但NOT带有int8_t/uint8_t/int16_t/uint16_t/...作为参数，因此在调用get()时，它只能接受bool/double/int/std::string作为模板arg。

我可以投诉gcc的留言吗？至少它可能会警告我get((的模板arg不正确？