variadic模板功能名称查找无法找到专业化

Variadic template function name lookup fails to find specializations

本文关键字：专业化 查找 功能 variadic      更新时间：2023-10-16

我正在尝试编程一个使用我的3D库的字符串转换函数的字符串串联函数，并使用variadic模板实现。

如果将字符串（const char []文字或std :: string）传递给它，则库的转换函数的行为异常。由于它实际上没有这些类型的功能，因此我想专业地将模板拉出而不是通过转换器运行它们。即使转换器处理了它们，优化也是一个很好的理由。

template<typename T>
inline String c(T a)
{
    return Ogre::StringConverter::toString( a );
}
template<>
inline String c(String s)
{
    return s;
}
template<>
inline String c(const char s[])
{
    return s;
}
template<typename T, typename... Args>
inline String c(T a, Args... args)
{
    return Ogre::StringConverter::toString( a ) + c(args...);
}
template<typename... Args>
inline String c(String s, Args... args)
{
    return s + c(args...);
}
template<typename... Args>
inline String c( const char s[], Args... args)
{
    return s + c(args...);
}

但是，当我编译程序时，字符串文字有时会通过const char []专业化而掉落，并由基础，无专门的模板处理。命令：

U::c( "This is dMap[500][500]: ", dMap[500][500], " and this is 5: ", 5, "." )

返回

这是DMAP [500] [500]：112True5。

" true"是ToString如果将字符串字面传递给它，则会返回。调试证实，第二个字符串字面的字符串是由通用String c(T a, Args... args)捕获的，但不是由专业处理来处理的第一个或第三个字符串。

。

这似乎与选择模板专业的字符串字符类型中提到的问题有关，但是更改我的模板参数声明匹配该解决方案中建议的inline String c( const char (&s) [N], Args... args )中建议的参数，这会导致第一个参数被专用模板捕获，但第二个参数却不是第二个参数或第三。这里发生了不寻常的事情，我无法弄清楚它是什么。

in 

template<typename T, typename... Args>
inline String c(T a, Args... args)
{
    return Ogre::StringConverter::toString( a ) + c(args...);
}

在模板定义上下文中执行c(args...)中的c的不合格的名称查找，这意味着它只会在此时索取的c的过载，并且不会找到您以后的c过载。（ADL是使用定义和实例化上下文进行的，但在您的情况下，它似乎没有ADL。）

首先声明它们：

template<typename T, typename... Args>
inline String c(T a, Args... args);
template<typename... Args>
inline String c(String s, Args... args);
template<typename... Args>
inline String c( const char s[], Args... args);

在定义它们之前，可以找到所有三个过载。

顺便说一句，您不应为单一案例使用专业。删除template<>并改用过载。正如现在所写的那样，U::c("");不会以您想要的方式行事。

演示。

相关文章：