static_cast的奇怪用法

Question

我在生产环境中查看了以下代码构造（但是经过了大大简化）。

#include <iostream>

typedef struct 
{
    char entry[10]; 
}
inn_struct;

typedef struct 
{    
    inn_struct directory;
} 
out_struct;


struct test
{
    static const int 
       ENTRY_LENGTH = (sizeof((static_cast<out_struct*>(0))->directory.entry) 
           / sizeof((static_cast<out_struct*>(0))->directory.entry[0]));
};

int main()
{
    test a;
    std::cout << test::ENTRY_LENGTH;
}

现在不考虑它的明显混淆的性质，因为它只是确定数组长度的旧C方法...我真的为0值的static_cast感到困扰。 ...此代码可以接受吗？ 您能否在响应中附上C ++标准的某些段落，以告诉我（如果）为什么此代码还行？

Answer 1

是的，此代码完全可以接受。 参见§5.3.3/ 1（强调我的）。

sizeof运算符产生其操作数的对象表示形式中的字节数。 操作数可以是一个表达式，它是一个未求值的操作数（第5条），或者是paranthesized type-id 。

不对表达式进行求值，因此解引用空指针看起来没有问题。

还要注意，在C ++ 11中，由于需要使用§5/ 8（强调我的意思），因此您无需跳过该箍，只需使用sizeof直接引用类成员即可：

在某些情况下，会出现未评估的操作数 （5.2.8、5.3.3、5.3.7、7.1.6.2）。 未评估的操作数不评估。 未评估的操作数被视为完整表达式。 [ 注意：在未评估的操作数中，可以将非静态类成员命名为 （5.1），而对象或函数的命名本身并不要求提供定义（3.2）。 — 尾注 ]

以及第5.1.1 / 13节：

表示类的非静态数据成员或非静态成员函数的id表达式只能使用：

• ..

• 如果该id表达式表示一个非静态数据成员，并且它出现在未评估的上下文中[示例：

    struct S {
      int m;
    };

    int i = sizeof(S::m); // OK
    int j = sizeof(S::m + 42); // OK

-结束示例]