这是一个创建于 1762 天前的主题，其中的信息可能已经有所发展或是发生改变。
最近工作中遇到了一个 ambiguous call 的问题，想请教一下各位。
我们实现了一个myString类（这个类不是重点）。我们想实现 C String 与 myString拼接(operator+)，因此定义了两个全局函数。
template<size_t CSTR_LEN> auo 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