主页 / coding / 问题 / 77105809
Accepted
Kane
Asked: 2023-09-14 22:19:57 +0800 CST

在作用域枚举定义中使用重载运算符

  • 772

鉴于此代码

#include <iostream>
#include <format>

enum class Enum;

constexpr Enum operator~(Enum) { return static_cast<Enum>(5); }

enum class Enum { A = 1, B = ~Enum::A }; // line 8
//                            ^^^^^^^

int main() {
    std::cout << std::format("{} and {}\n",
        static_cast<int>(Enum::B), static_cast<int>(~Enum::A));
}

有没有办法告诉编译器不要将Enum::A第 8 行视为int，而是视为 type Enum？换句话说，强制编译器使用自定义的operator~(). 该程序输出-2 and 5.

c++

3 个回答

  1. 额外的铸造可以完成这项工作：

    enum class Enum {
    A = 1,
    B = static_cast<int>(~Enum(Enum::A))
};

    演示

    • 2
  2. Best Answer

    并不真地

    如果基础类型是固定的，则右大括号之前的每个枚举数的类型是基础类型，并且枚举数定义中的常量表达式应是基础类型的转换后的常量表达式。

    如果要可靠地执行某些自定义逻辑，请将其从运算符中取出到一个 constexpr 命名函数中，该函数接受基础类型，然后将其重用于枚举声明和运算符定义。

    • 2

  3. 不，没有办法告诉编译器这一点。对后面的常量表达式类型的限制在[dcl.enum] p5=中列出：

    • 如果基础类型是固定的（在您的情况下，它是固定的），则常量表达式的类型就是基础类型（int在您的情况下隐式）。
      • 基础类型必须是整型，所以你运气不好。
    • 如果它不固定，那么它一定是一个整型常量表达式。

    无论如何，B = ~Enum::A都是无效的。我也找不到任何使该语法有效的建议。std::to_underlying最干净的方法是在 C++23 中使用：

    enum class Enum {
    A = 1,
    B = std::to_underlying(~Enum{A}) // note: A refers to 1, not Enum{1} here
};
    • 0

相关问题