一个关于 C++ 中类型强制的简单问题

Question

给定一个函数原型和一个类型定义：

int my_function(unsigned short x);
typedef unsigned short blatherskite;

以下情况是否由标准定义：

int main(int argc, char** argv) {
  int result;
  blatherskite b;

  b=3;
  result = my_function(b);
}

我是否可以通过函数原型获得类型强制？

Answer 1

如果您的问题实际上是关于参数和参数的类型是否匹配，那么答案是肯定的。 typedef 不会引入新类型，它只是为现有类型创建别名。变量 b 的类型为 unsigned int，就像参数一样，尽管 b 是使用 typedef-name blatherskite 声明的。

不过，你的例子并不能很好地证明这一点。所有整数类型在 C++ 中都可以相互转换，因此（忽略范围问题）即使 blatherskite 指定了不同的类型（新类型），代码也会具有已定义的行为。但事实并非如此。所以这也是完全有效的

void foo(unsigned int* p);
...
blatherskite *pb = 0;
foo(pb); // <- still valid

Answer 2

不需要类型强制。 typedef 只是同一类型的别名，因此您将一个 unsignedshort 传递给一个采用 unsignedshort 的函数。