V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
dangyuluo
V2EX  ›  C++

C++中的一个 ambiguous call 问题

  •  
  •   dangyuluo · 2021-02-19 03:18:50 +08:00 · 1344 次点击
    这是一个创建于 1134 天前的主题,其中的信息可能已经有所发展或是发生改变。

    最近工作中遇到了一个 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 条回复    2021-02-19 20:15:37 +08:00
    ysc3839
        1
    ysc3839  
       2021-02-19 03:29:17 +08:00 via Android
    std::enable_if?
    geelaw
        2
    geelaw  
       2021-02-19 04:07:04 +08:00 via iPhone
    更好的问题是:知道数组长度有什么用?

    既然是 C string,那必然是 null-terminated,知道数组长度无意义,反正都需要通过遍历找到正确长度。如果数组长度内没有出现空字符,说明传入的不是 C string,根据 garbage-in garbage-out 原则此时直接定义为未定义行为即可。
    inhzus
        3
    inhzus  
       2021-02-19 08:27:28 +08:00 via iPhone
    同意楼上,不过如果真的要这样实现的话,用 SFINAE is_pointer 或者偏特化 T* 和 T [N] 也是可以实现的
    framlog
        4
    framlog  
       2021-02-19 09:26:11 +08:00
    直接把第一个类型做成模版,然后 enable_if
    wutiantong
        5
    wutiantong  
       2021-02-19 10:41:31 +08:00
    再提供一个角度,C++17 的 string_view 就是解决这类问题的
    linux40
        6
    linux40  
       2021-02-19 20:15:37 +08:00
    用两个重载函数 execute_operator_add,第一个重载接收数组,多一个参数 int,而第二个重载接收指针,在两个参数后面加 ... 。然后把 operator+ 作为包裹函数调用这两个函数。

    execute_operator_add(lhs, rhs, 0);
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   我们的愿景   ·   实用小工具   ·   2751 人在线   最高记录 6543   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 24ms · UTC 12:46 · PVG 20:46 · LAX 05:46 · JFK 08:46
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.