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

Question

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

下面是重现此问题的一些基本代码:

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

所以是的，正式this is the case :

... arithmetic operators do not accept types smaller than int as arguments, and integral promotions are automatically applied after lvalue-to-rvalue conversion [...]

但是为什么要改变或避免这种行为呢？如果你像你建议的那样做，并且可能像这样转换返回值:

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

你很快就会面临 integer overflow 的风险在返回的 char 中，因为它一开始就很小。您是否有任何理由避免在您的场景中进行促销？