C++ - 所有隐式转换的编译错误

Question

是否有一个编译器标志在任何隐式转换（如 int32_t 到 uint32_t）的情况下记录警告/错误。

#include <cstdint>
#include <iostream>


using ::std::int32_t;
using ::std::uint32_t;


int main(int argc, char *argv[])
{

   int32_t x = 9;

    uint32_t i = x;

    std::cout << " " << x << " " << i << std::flush << std::endl;

    return 0;
}

c++ -std=c++11 -Wall -Wconversion -Wpedantic cast.cpp

我在编译期间没有收到任何问题/警告/错误 - 有没有办法可以实现。

Answer 1

uint32_t i = x;

有符号 int 类型到无符号 int 类型的转换在 C++ 中有很好的定义。

（C++11，§4.7 ¶2）

如果目标类型是无符号的，则结果值是最小的 与源整数一致的无符号整数（模 2ⁿ 其中 n 是用于表示无符号类型的位数）。 [ 注意：在二进制补码表示中，这种转换是概念性的，位模式没有变化（如果没有截断）。 ——尾注]

Answer 2

我不知道提供这种标志的编译器（尽管我总是可能错过了一个）。

如果没有它，您可以构建一个小模板，至少在一些明显的情况下，这种隐式转换是不可能的：

#include <cstdint>
#include <iostream>

using ::std::int32_t;
using ::std::uint32_t;

template <class T>
class holder {
    T value;
public:
    holder(T value) : value(value) {}
    operator T&() { return value; }
    operator T() const { return value; }
    holder &operator=(holder const &other) { value = other.value; return *this; }
};

int main(int argc, char *argv[]) {
    holder<int32_t> x = 9;

    holder<uint32_t> i = x;

    ++i;

    std::cout << " " << x << " " << i << "\n";
}

尝试用 g++ 编译给出：

trash9.cpp:20:23: error: conversion from 'holder<int>' to non-scalar type 'holder<unsigned int>' requested
  holder<uint32_t> i = x;
                       ^

但是，如果我们将第二个更改为 holder<int32_t> i = x;，则一切正常并按预期运行。

这足以满足您提供的演示代码，但并非在所有情况下都有效。特别是，仍然允许在计算表达式的过程中进行隐式转换：

void use(holder<uint32_t> v) {
    std::cout << v;
}

int main(int argc, char *argv[]) {
    holder<int32_t> x = 9;

    holder<int32_t> i = x;

    use(i | 1u);
}

如果您也想在这种情况下阻止转换，您可以这样做，但这需要做更多的工作——您需要从上面的代码中删除 operator T 和 operator T& ，然后实现您想要支持的所有运算符。这会/可能会很乏味，至少会有点痛苦，但无论如何你可能会觉得它可以接受。