C++ 为什么在这里将 uint16_t 隐式转换为 int？

Question

我的代码中有这一行：

Locus locus({track.chrom, track.begin, LOCUS_TYPE_INNER, it->left, it->right, it->gc / 5, true}) ;

it是一个迭代器，指向以下之一：

struct SimpleKmer {
    uint64_t kmer ;
    uint64_t left ;
    uint64_t right ;
    uint16_t gc ;
};

所有字段均未签名。 编译时出现以下错误：

warning: narrowing conversion of ‘(int)(((short unsigned int)((int)it.KmerIterator::operator->()->SimpleKmer::gc)) / 5)’ from ‘int’ to ‘uint16_t’ {aka ‘short unsigned int’} inside { } [-Wnarrowing]

这涉及传递给Locus的it->gc / 5参数。 Locus的相应字段也是uint16_t 。

我很困惑为什么编译器在这里进行所有这些隐式转换。 如果我将表达式更改为it->gc / uint16_t(5)我仍然得到同样的错误，这引发了一个问题，当它们是相同类型时，编译器为什么将它们强制转换为整数。

除法运算符是否自动将参数转换为 int？

Answer 1

除法运算符是否自动将参数转换为 int？

宣传，而不是演员，但是是的。 请参阅 cppreference.com 上的隐式转换：积分促销：

特别是， 算术运算符不接受小于int类型作为参数，并且在左值到右值转换后自动应用整数提升（如果适用）。 此转换始终保留该值。

您正在尝试将it->gc / 5的结果分配给uint16_t字段，这在分配过程中通常不是问题，例如：

uint16_t field;
field = it->gc / 5; // OK

但是，在大括号初始化器内部不允许从较大整数到较小整数的这种缩小转换：

列表初始化

缩小转化范围

列表初始化通过禁止以下内容来限制允许的隐式转换：

• ...

• 从整数或无作用域枚举类型到不能表示原始所有值的整数类型的转换，除非源是一个常量表达式，其值可以准确地存储在目标类型中

• ...

uint16_t不能表示int所有值，因此出现错误。