C++ 对重载函数的模糊调用

Question

我有以下代码用于“安全”strncpy()——基本上，它的包装器自动为字符串缓冲区采用固定的数组大小，因此您不必做额外的工作来传递它们（而且这种方便更安全因为您不会意外地为固定数组缓冲区输入错误的大小）。

inline void MySafeStrncpy(char *strDest,size_t maxsize,const char *strSource)
{
    if(maxsize)
    {
        maxsize--;
        strncpy(strDest,strSource,maxsize);
        strDest[maxsize]=0;
    }
}

inline void MySafeStrncpy(char *strDest,size_t maxDestSize,
    const char *strSource, size_t maxSourceSize)
{
    size_t minSize=(maxDestSize<maxSourceSize) ? maxDestSize:maxSourceSize;
    MySafeStrncpy(strDest,minSize,strSource);
}

template <size_t size>
void MySafeStrncpy(char (&strDest)[size],const char *strSource)
{
    MySafeStrncpy(strDest,size,strSource);
}

template <size_t sizeDest,size_t sizeSource>
void MySafeStrncpy(char (&strDest)[sizeDest],
    const char (&strSource)[sizeSource])
{
    MySafeStrncpy(strDest,sizeDest,strSource,sizeSource);
}

template <size_t sizeSource>
void MySafeStrncpy(char *strDest,size_t maxDestSize,
    const char (&strSource)[sizeSource])
{
    MySafeStrncpy(strDest,maxDestSize,strSource,sizeSource);
}

使用代码在Visual C++ 2008编译时出现错误：

char threadname[16];
MySafeStrncpy(threadname,"MainThread");

error C2668: 'MySafeStrncpy' : ambiguous call to overloaded function
>        could be 'void MySafeStrncpy<16,11>(char (&)[16],const char (&)[11])'
>        or       'void MySafeStrncpy<16>(char (&)[16],const char *)'
>        while trying to match the argument list '(char [16], const char [11])'

我在这里做错了什么？

在确定调用哪个模板函数时，编译器似乎无法确定字符串文字 "MainThread" 是否应该被视为 const char * 或 const char[11]。

我希望它将字符串文字视为const char[11] 并选择void MySafeStrncpy<16,11>(char (&)[16],const char (&)[11]) 变体，因为这是“最安全的”。

还有两个对答案的限制：1）我无法切换编译器（代码在其他编译器上编译）和 2）公司不允许我使用外部模板库作为解决方案。

Answer 1

根据 13.3.3.1.1，数组到指针的转换有精确匹配 rank，所以这个函数调用在标准规范中可能是模棱两可的。 如果允许您更改定义：

template <size_t size>
void MySafeStrncpy(char (&strDest)[size],const char *strSource)

到：

template <size_t size, class T>
void MySafeStrncpy(char (&strDest)[size], T strSource)

喜欢here， 那么这可能是最简单的解决方法。

Answer 2

char-array/const-char-array 和 char-array/const-char-pointer 的重载无法通过重载解析逻辑相互区分（至少 Microsoft 逻辑 - 此代码在GCC。不知道标准在这里说的。）。您需要以某种方式区分它们，例如通过重命名数组的函数或添加一个虚拟参数。

一个优雅的解决方案是使用 boost::enable_if 和 boost::is_array。

Answer 3

当你使用你的功能时：

MySafeStrncpy(threadname,"MainThread");

你没有在线程名和“MainThread”之间传递 size_t 参数，但你已经在函数定义中定义了。

应该是这样的：

MySafeStrncpy(threadname, sizeof threadname, "MainThread");

如果您不想传递参数，请在您的函数定义中将其设为默认值。