Question

我有以下枚举和输入流操作符：

enum class MsrEncryptionStatus : unsigned char
{
   Unknown = 0xFF,
   None = 0,
   Ksn,
   Dukpt,
   Other
};

inline std::istream& operator>>(std::istream& s, MsrEncryptionStatus& status)
{
   return s >> static_cast<unsigned&>(status);
}

operator>>的上述实现由于我进行演员表的方式而无法编译。 Clang抱怨道：

main.cpp:34:16: error: non-const lvalue reference to type 'unsigned int' cannot bind to a value of unrelated type 'MsrEncryptionStatus'
   return s >> static_cast<unsigned&>(status);
               ^                      ~~~~~~

我尝试做的是避免定义一个变量来暂时保存输入流中的值，然后再static_cast。有人能帮我理解我在这里失踪的东西吗？我觉得我错过了static_cast如何在左值上运行的基本部分，例如，感觉就像在这里创建了一个临时的，如果这是真的，我就无法将它绑定到非-const左值参考。

Answer 1

我的编译器也拒绝进行静态转换，但由于你的其他义务，临时变量无论如何都更好。

您需要读取值，对MsrEncryptionStatus进行验证，然后将其分配给状态，或设置failbit。

以下是来自cppreference的推荐模板

std::istream& operator>>(std::istream& is, T& obj)
{
    // read obj from stream
    if( /* T could not be constructed */ )
        is.setstate(std::ios::failbit);
    return is;
}

Answer 2

没有从MsrEncryptionStatus到unsigned int＆amp;的安全转换。这就是static_cast失败的原因。如果您完全确定自己在做什么，可以使用reinterpret_cast。

在下一个例子中，我将向您展示reinterpret_cast的危险程度：

int main( )
{
    std::ifstream i( "input.dat" ) ;
    unsigned a ;
    unsigned char b ;
    i >> a ;
    i >> reinterpret_cast<unsigned&>(b) ; // What was I thinking when I wrote this?
    std::cout << a << " " << b << std::endl ;
    return 0 ;
}

如果input.dat的内容是：

1234 5678

结果如下：

22 .

证明你已经覆盖了堆栈。

如何在int和scoped枚举的引用之间进行static_cast？

2 个答案: