这是一个创建于 1400 天前的主题，其中的信息可能已经有所发展或是发生改变。
最近工作中遇到了一个 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。
请问这种情况下，有没有什么办法能让编译器选择其中一个，因为他更合适呢？
 |
1
ysc3839 2021-02-19 03:29:17 +08:00 via Android
std::enable_if?
|
 |
2
geelaw 2021-02-19 04:07:04 +08:00 via iPhone
更好的问题是：知道数组长度有什么用？
既然是 C string，那必然是 null-terminated，知道数组长度无意义，反正都需要通过遍历找到正确长度。如果数组长度内没有出现空字符，说明传入的不是 C string，根据 garbage-in garbage-out 原则此时直接定义为未定义行为即可。 |
 |
3
inhzus 2021-02-19 08:27:28 +08:00 via iPhone
同意楼上，不过如果真的要这样实现的话，用 SFINAE is_pointer 或者偏特化 T* 和 T [N] 也是可以实现的
|
 |
4
framlog 2021-02-19 09:26:11 +08:00
直接把第一个类型做成模版，然后 enable_if
|
 |
5
wutiantong 2021-02-19 10:41:31 +08:00
再提供一个角度，C++17 的 string_view 就是解决这类问题的
|
 |
6
linux40 2021-02-19 20:15:37 +08:00
用两个重载函数 execute_operator_add，第一个重载接收数组，多一个参数 int，而第二个重载接收指针，在两个参数后面加 ... 。然后把 operator+ 作为包裹函数调用这两个函数。
execute_operator_add(lhs, rhs, 0); |
Select Language