标签: narrowing

我想用这个ASCII码初始化这个char向量:

vector <char> a = { 201, 187, 200, 188, 205, 186 };

我在所有6个字符中都会出现此语法错误:

从"int"到"char"的缩小转换无效:常量值不适合目标类型

但是当我使用相同的ASCII代码初始化单个char变量时:

char b = 201;

它工作正常.

所以我意识到在向量中,由于某种原因,char类型可以接收int值直到127.从128开始出现语法错误.

这与普通变量不同,当char类型可以接收任何int值时.

我尝试将向量声明为unsigned char,语法错误消失.

vector <unsigned char> a = { 201, 187, 200, 188, 205, 186 };

但是,

为什么char类型向量不能接收与char类型变量相同的int数据？

我真的很感激有人向我解释这种行为.

为什么 TypeScript 不缩小数组类型？

function test(input: (string | number)[]): string[] {
  // The type of .map(...) reports that it returns string[].
  input = input.map(x => x.toString())
  // Type error: Type '(string | number)[]' is not assignable to type 'string[]'.
  return input
}

解决方法并不依赖于通过立即使用或分配给新变量来缩小类型：

function test(input: (string | number)[]): string[] {
  return input.map(x => x.toString())
}

function test(input: (string | number)[]): string[] {
  const newInput = input.map(x => x.toString())
  return newInput
}

我确实尝试过强制转换，但事后看来，这显然只适用于使用，例如return input as string[]，并且不会缩小类型，因为.map(...)已经返回了正确缩小的类型。

必须执行这些解决方法对我来说感觉违反直觉。为什么 …

对于以下数组，我有一个与此类似的代码：

long int N = 424242424242; //random number
short int* spins = new short int spins[N];
std::fill(spins, spins+N, 1);

现在假设由于某种原因我想将该数组的几个元素添加到一个名为 nn_sum 的短整型中：

short int nn_sum = spins[0] + spins[1];

但是，当我在 CLion IDE 上执行此操作时，Clang-Tidy 将其标记为黄色并告诉我：

Clang-Tidy: Narrowing conversion from 'int' to signed type 'short' is implementation-defined

为什么会发生这种情况？为什么会出现缩小呢？C++ 在添加短整型时是否会将它们转换为整数？如果是这样，为什么？我能做些什么来让它更好地工作吗？也许甚至完全放弃短裤？

请记住，我在应用程序的计算密集型部分中有这样的代码，因此我希望使其尽可能高效。任何其他建议也将不胜感激。

我正在使用此处列出的书籍学习 C++ 。特别是最近学习了使用《C++ Primer》noexcept这本书。现在，为了进一步明确我对这个主题的概念并确认我已经正确理解了事情，我正在编写简单的程序。下面给出了一个这样的程序，它可以使用 MSVC 和 Clang 编译，但不能使用 GCC 编译。演示。

void f() noexcept(5) //accepted by msvc but rejected by gcc
{

}