it-swarm.cn

如何处理“签名/未签名的不匹配”警告(C4018)?

我使用大量用C++编写的计算代码,考虑到高性能和低内存开销。它经常使用STL容器(大多数是vector),并且几乎在每个函数中迭代这些容器。

迭代代码如下所示:

for (int i = 0; i < things.size(); ++i)
{
    // ...
}

但它会产生 signed/unsigned mismatch warning(Visual Studio中的C4018)。

用某些int类型替换unsigned是一个问题,因为我们经常使用OpenMP pragma,并且它要求计数器为int

我即将压制(数百个)警告,但我担心我错过了一些优雅的解决方案。

在迭代器上 。我认为在适当的地方应用迭代器很棒。我正在使用的代码将 never 将随机访问容器更改为list或其他东西(因此使用int i进行迭代已经是容器不可知的),并且 always 需要当前索引。您需要键入的所有其他代码(迭代器本身和索引)只会使问题复杂化并模糊底层代码的简单性。

70
Andrew T

它都在你的things.size()类型中。它不是int,而是size_t(它存在于C++中,而不是C中),它等于某些“通常”的无符号类型,即x86_32的unsigned int

运算符“less”(<)不能应用于两个不同符号的操作数。没有这样的操作码,并且标准没有指定,编译器是否可以进行隐式符号转换。所以它只是将签名号码视为未签名并发出警告。

写它是正确的

for (size_t i = 0; i < things.size(); ++i) { /**/ }

甚至更快

for (size_t i = 0, ilen = things.size(); i < ilen; ++i) { /**/ }
52
udpn

理想情况下,我会使用这样的结构:

for (std::vector<your_type>::const_iterator i = things.begin(); i != things.end(); ++i)
{
  // if you ever need the distance, you may call std::distance
  // it won't cause any overhead because the compiler will likely optimize the call
  size_t distance = std::distance(things.begin(), i);
}

这有一个很好的优势,你的代码突然变得容器不可知。

关于你的问题,如果你使用的某个库要求你使用intunsigned int更适合,那么它们的API就很混乱了。无论如何,如果你确定那些int总是积极的,你可能会这样做:

int int_distance = static_cast<int>(distance);

这将明确指出您对编译器的意图:它不会再向您发出警告。

12
ereOn

如果您不能/不会使用迭代器,并且如果您不能/不会将std::size_t用于循环索引,请创建一个.size()int转换函数来记录该假设并明确地进行转换以使编译器警告静音。

#include <cassert>
#include <cstddef>
#include <limits>

// When using int loop indexes, use size_as_int(container) instead of
// container.size() in order to document the inherent assumption that the size
// of the container can be represented by an int.
template <typename ContainerType>
/* constexpr */ int size_as_int(const ContainerType &c) {
    const auto size = c.size();  // if no auto, use `typename ContainerType::size_type`
    assert(size <= static_cast<std::size_t>(std::numeric_limits<int>::max()));
    return static_cast<int>(size);
}

然后你写这样的循环:

for (int i = 0; i < size_as_int(things); ++i) { ... }

几乎肯定会内联此函数模板的实例化。在调试版本中,将检查该假设。在发布版本中,它不会,并且代码将像您直接调用size()一样快。这两个版本都不会产生编译器警告,并且只是对惯用循环的轻微修改。

如果你想在发布版本中捕获假设失败,你可以用一个抛出类似std::out_of_range("container size exceeds range of int")之类的if语句替换断言。

请注意,这解决了有符号/无符号比较以及潜在的sizeof(int)!= sizeof(Container::size_type)问题。您可以启用所有警告并使用它们来捕获代码其他部分中的实际错误。

7
Adrian McCarthy

您可以使用:

  1. size_t类型,用于删除警告消息
  2. 迭代器+距离(就像第一次提示)
  3. 只有迭代器
  4. 功能对象

例如:

// simple class who output his value
class ConsoleOutput
{
public:
  ConsoleOutput(int value):m_value(value) { }
  int Value() const { return m_value; }
private:
  int m_value;
};

// functional object
class Predicat
{
public:
  void operator()(ConsoleOutput const& item)
  {
    std::cout << item.Value() << std::endl;
  }
};

void main()
{
  // fill list
  std::vector<ConsoleOutput> list;
  list.Push_back(ConsoleOutput(1));
  list.Push_back(ConsoleOutput(8));

  // 1) using size_t
  for (size_t i = 0; i < list.size(); ++i)
  {
    std::cout << list.at(i).Value() << std::endl;
  }

  // 2) iterators + distance, for std::distance only non const iterators
  std::vector<ConsoleOutput>::iterator itDistance = list.begin(), endDistance = list.end();
  for ( ; itDistance != endDistance; ++itDistance)
  {
    // int or size_t
    int const position = static_cast<int>(std::distance(list.begin(), itDistance));
    std::cout << list.at(position).Value() << std::endl;
  }

  // 3) iterators
  std::vector<ConsoleOutput>::const_iterator it = list.begin(), end = list.end();
  for ( ; it != end; ++it)
  {
    std::cout << (*it).Value() << std::endl;
  }
  // 4) functional objects
  std::for_each(list.begin(), list.end(), Predicat());
}
6
siquell

我会给你一个更好的主意

for(decltype(things.size()) i = 0; i < things.size(); i++){
                   //...
}

decltype

检查实体的声明类型或表达式的类型和值类别。

因此,它推导出things.size()的类型,而i将是一个与things.size()相同的类型。因此,i < things.size()将在没有任何警告的情况下执行

3
Daniel

我也可以为C++ 11提出以下解决方案。

for (auto p = 0U; p < sys.size(); p++) {

}

(对于自动p = 0,C++不够智能,所以我必须把p = 0U ....)

2
Stepan Yakovenko

我遇到了类似的问题。使用size_t无效。我尝试了另一个适合我的方法。 (如下)

for(int i = things.size()-1;i>=0;i--)
{
 //...
}
1
Karthik_elan

我会做的

int pnSize = primeNumber.size();
for (int i = 0; i < pnSize; i++)
    cout << primeNumber[i] << ' ';
0
Don Larynx