expr 是静态类型还是动态类型sizeof expr？
请引用 C++17 标准。
【问题讨论】：
expr，您不确定要使用哪种类型？
sizeof 上的 C++ 标准（嗯，一个工作草案）。
std::set 将被实现为搜索树或将每个元素存储在单独的分配中，但由于其操作的复杂性和接口要求，这是不可避免的。
标签： c++ language-lawyer c++17 sizeof static-typing
请参阅sizeof 的参考资料。
具体来说：
当应用于表达式时，
sizeof不会计算表达式，即使表达式指定了多态对象，结果也是表达式的静态类型的大小。
这是 C++ 标准 ([expr.sizeof]) 中以下引文的更易读版本：
操作数要么是一个表达式，它是一个未计算的操作数（第 8 条），要么是一个带括号的 type-id。
将
sizeof应用于基类子对象的结果是基类类型的大小。
【讨论】：
sizeof 运算符产生由其操作数类型的非潜在重叠对象占用的字节数。
这里type是一个术语，表达式的类型定义在[expr]的每个子句中，可以看到它总是指的是静态类型.
例如，考虑
struct Base {};
struct Derived : Base {};
Base *pb = new Derived;
auto s = sizeof(*pb);
在本例中，sizeof(*pb) 的结果是 *pb 根据 [expr.sizeof]/1 的类型。要查看*pb的类型，我们转向[expr.unary.op]/1：
...如果表达式的类型是“指向T的指针”，则结果的类型是“T”。
然后我们转向[expr.prim.id.unqual]/2：
结果是标识符表示的实体。 ...否则，表达式的类型就是结果的类型。
pb表示的实体是指向Base的指针类型的对象，表达式pb也是，所以*pb的类型是Base，因此是sizeof(*pb)的结果是Base 的大小。
【讨论】：