C++ 静态强制转换能否在C++；？

假设static_cast永远不会抛出异常是否安全

对于int-to-Enum强制转换，即使异常无效，也不会引发异常。我能相信这种行为吗？下面的代码可以工作

enum animal {
  CAT = 1,
  DOG = 2
};

int y = 10;
animal x = static_cast<animal>(y);

enum动物{
CAT=1，
狗=2
};
int y=10；
动物x=静态铸型（y）；

static\u cast

无法引发异常，因为

static\u cast

不是运行时强制转换，如果某些无法强制转换，代码将不会编译。但如果它编译并且强制转换不好-结果未定义。

对于这种特定类型的强制转换（枚举类型的整数），可能会引发异常

C++标准5.2.9静态强制转换[expr.Static.cast]第7段

整数或枚举类型的值可以显式转换为 枚举类型。如果原始值为，则该值不变 在枚举值（7.2）的范围内否则 结果枚举值未指定/未定义（从C++17开始）。

请注意，由于C++17，这种转换实际上可能导致未定义的行为，其中可能包括引发异常

换句话说，如果通过某种输入验证过程确保整数实际上表示有效的枚举值，那么在C++17之前，使用

static\u cast

从整数中获取枚举值的特殊用法是可以的，并且始终可以

有时，输入验证过程完全消除了对静态转换的需要，例如：

animal GetAnimal(int y)
{
    switch(y)
    {
    case 1:
        return CAT;
    case 2:
        return DOG;
    default:
        // Do something about the invalid parameter, like throw an exception,
        // write to a log file, or assert() it.
    }
}

请考虑使用类似于上述结构的东西，因为它不需要强制转换，并有机会正确处理边界事件。 假设

static\u cast

永远不会抛出异常是否安全

否。对于用户定义的类型，构造函数和/或转换运算符可能会引发异常，从而导致定义良好的行为

考虑该程序的输出：

#include <iostream>

struct A {
  A(int) { throw 1; }
};

int main () {
  int y = 7;
  try {
    static_cast<A>(y);
  } catch(...) {
    std::cout << "caught\n";
  }
}

#包括
结构A{
A（int）{throw 1；}
};
int main（）{
int y=7；
试一试{
静态铸型（y）；
}捕获（…）{
std：：cout（此答案专门关注您问题中的
int
到
enum
转换。）

对于int-to-Enum强制转换，即使异常无效，也不会引发异常。我可以依赖此行为吗？以下代码有效

enum animal {
  CAT = 1,
  DOG = 2
};

int y = 10;
animal x = static_cast<animal>(y);

enum动物{CAT=1，DOG=2}；
int y=10；
动物x=静态铸型（y）；

实际上，枚举不限于它们定义中的枚举列表，这不仅仅是奇怪的怪癖，而是枚举的故意使用的特征——考虑枚举值通常如何组合在一起，以将它们打包成单个值，或者当枚举没有应用时传递0。
在C++03中，编译器使用的支持整数的大小不受显式程序员控制，但范围保证为0和显式列出的枚举
因此，10不一定是
动物
的有效可存储值。即使支持值不足以存储您试图转换为
动物
的整数值，也可以应用缩小转换-通常这将使用枚举返回的许多最低有效位ing类型可以保留，丢弃任何额外的高阶位，但有关详细信息，请查看标准

实际上，PC和服务器硬件上的大多数现代C++03编译器默认使用（32位）
int
来支持枚举，因为这有助于调用以32位为标准的C库函数

当使用
static\u cast
将任何值硬塞进枚举时，我绝不会期望编译器抛出异常。根据源类型和目标类型，static\u cast的结果可能是未定义的行为，其中可能包括抛出异常。最好问问，当程序m处于定义良好的状态。当然，理论上UB可以抛出异常，但理论上UB也可以格式化硬盘。@JerryCoffin:standard 5.2.9只说一些结果可能是未定义的，虽然后续使用这些结果可能会有未定义的行为，但在cast i中没有明确提到未定义的行为t我自己。我遗漏了什么吗？这不一定是真的。它可能会导致源类型和目标类型的某些组合出现未定义的行为，并且说未定义的行为可能包括抛出异常。@在silico中，ForEveR:您能否就您声称的某些静态\u强制转换具有未定义的行为提供一些解释标准5.2.9只说明了一些结果可能是未定义的，虽然随后使用这些结果可能会有未定义的行为，但没有明确提到演员本身的未定义行为。我是否遗漏了什么？