使用算术运算符时如何避免从 char 到 int 的隐式转换

Question

我已经模板化了一些代码，我想专门用于int和char。在此代码中，我使用算术运算符operator+。当我使用g++(转换警告，被视为错误的警告(进行编译时，编译器抱怨我的char被隐式转换为ints，并且每个进一步的赋值都会触发缩小的转换警告。

以下是重现此问题的一些基本代码：

template<typename T>
T add(const T a, const T b)
{
return a + b;
}
int main()
{
const char a = 1;
const char b = 2;
const char c = add<char>(a, b); // a and b implicitely converted to int.
// Assignement to c fails (narrowing)
(void)c;
return 0;
}

您可以使用以下命令编译(应该失败(：

g++ -Wconversion -Werror main.cpp

我知道这是因为定义operator+的最小内置类型是int，所以当你使用较小的类型时，它们会被静默地转换为适合参数。

我正在寻找一种方法来避免这种情况并最大限度地减少铸造。例如，我知道我可以将结果转换为a和b的添加char，但是对于具有许多术语的添加，阅读起来很快就会变得一团糟。

我该怎么做？

---

我得到的错误：

main.cpp:4:16: error: conversion to ‘char’ from ‘int’ may alter its value [-Werror=conversion]
return a + b;
^
cc1plus: all warnings being treated as errors

Answer 1

所以是的，形式上是这样的：

。算术运算符不接受小于 int 的类型 as 参数，积分提升在之后自动应用 左值到重值转换 [...]

但是，为什么要改变或避免这种行为呢？如果您按照建议执行某些操作，并且可能像这样强制转换返回值：

template<typename T>
T add(const T a, const T b)
{
return static_cast<T>(a + b);
}

由于一开始的尺寸很小，您很快就会在返回的char中面临整数溢出的风险。是否有任何理由避免在您的方案中进行促销？