C++中的一个 ambiguous call 问题

資深大佬 : dangyuluo 3

最近工作中遇到了一个 ambiguous call 的问题，想请教一下各位。

我们实现了一个myString类（这个类不是重点）。我们想实现 C String 与 myString拼接(operator+)，因此定义了两个全局函数。

 template<size_t CSTR_LEN> auto operator+(   const char (& lhs)[CSTR_LEN],   const myString& rhs) {   ... }  auto operator+(   const char* const lhs,   const myString& rhs) {   ... }

第一个operaot+有模版参数（参见link），函数参数为对一个const char[]的引用。第二个直接接收一个const char* const。

在测试代码里，如下代码会发生 ambiguous call

auto test2 = "hello" + myString("world");

编译器会认为"hello"既可以当作一个const char (& lhs)[CSTR_LEN]并自动推导出了CSTR_LEN，又可以当作一个const char* const。

请问这种情况下，有没有什么办法能让编译器选择其中一个，因为他更合适呢？

大佬有話說 (6)

資深大佬 : ysc3839

std::enable_if?

資深大佬 : geelaw

更好的问题是：知道数组长度有什么用？

既然是 C string，那必然是 null-terminated，知道数组长度无意义，反正都需要通过遍历找到正确长度。如果数组长度内没有出现空字符，说明传入的不是 C string，根据 garbage-in garbage-out 原则此时直接定义为未定义行为即可。

資深大佬 : inhzus

同意上，不过如果真的要这样实现的话，用 SFINAE is_pointer 或者偏特化 T* 和 T [N] 也是可以实现的

資深大佬 : framlog

直接把第一个类型做成模版，然后 enable_if

資深大佬 : wutiantong

再提供一个角度，C++17 的 string_view 就是解决这类问题的

資深大佬 : linux40

用两个重载函数 execute_operator_add，第一个重载接收数组，多一个参数 int，而第二个重载接收指针，在两个参数后面加 … 。然后把 operator+ 作为包裹函数调用这两个函数。

execute_operator_add(lhs, rhs, 0);