C++中的一个 ambiguous call 问题

[dangyuluo]

最近工作中遇到了一个 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。

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

[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);