主页 / coding / 问题 / 79419108
Accepted
HolyBlackCat
Asked: 2025-02-07 03:22:42 +0800 CST

概念和需要子句中的重载 `&&`/`||` 运算符

  • 772

我为“implies”运算符创建了一个宏。它通常运行良好，但在概念或要求子句中使用时，Clang 会中断。

run on gcc.godbolt.org

namespace detail
{
    template <typename T>
    concept BoolLike = requires(T &&t) {(T &&)t ? true : false;};

    struct Implies
    {
        template <BoolLike T>
        friend constexpr bool operator||(T &&lhs, Implies)
        {
            return !bool((T &&)lhs);
        }
    };
}

#define IMPLIES ||::detail::Implies{}||

template <typename T>
concept A = true IMPLIES true;

static_assert(A<int>);

Clang 说：

<source>:19:18: error: atomic constraint must be of type 'bool' (found '::detail::Implies')
   19 | concept A = true IMPLIES true;
      |                  ^~~~~~~
<source>:16:19: note: expanded from macro 'IMPLIES'
   16 | #define IMPLIES ||::detail::Implies{}||
      |                   ^~~~~~~~~~~~~~~~~~~

虽然 GCC 和 MSVC 很乐意接受此代码。哪个编译器是正确的？

c++

1 个回答

  1. Best Answer

    重载逻辑运算符实际上在约束表达式中不起作用（在顶层）：约束规范化机制分别根据其句法形式将形式E1 || E2和的表达式转换为析取和连词，而不考虑是否有用户提供的运算符重载（ [temp.constr.normal]）。E1 && E2

    A在这个特定的例子中，这意味着的约束表达式的范式包含由表达式 形成的原子约束::detail::Implies{}，而该表达式永远不会是 类型bool。

    [温度.构造.原子]/3：

    要确定原子约束是否满足，首先将参数映射和模板参数代入其表达式中。[...]E应为类型的常量表达式bool。

    由于该程序从不检查无效的原子约束是否满足（因为||短路），因此它是错误格式的，不需要进行诊断（[temp.res.general]/6.4）：

    如果出现以下情况，则程序格式不正确，无需进行诊断

    • 程序中的任何约束表达式，无论是引入的还是其他方式，都有（以其正常形式）原子约束A ，其中A的满意度检查不可能是格式良好的，也不会执行任何 A的满意度检查
    • 5

相关问题