「符号付き/符号なしの不一致」警告（C4018）に対処するにはどうすればよいですか？

私は、高性能と低メモリオーバーヘッドを念頭に置いて、C ++で記述された多くの計算コードを使用しています。STLコンテナー（ほとんどvector）を頻繁に使用し、ほぼすべての関数でそのコンテナーを反復処理します。

反復コードは次のようになります。

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

ただし、符号付き/符号なしの不一致の警告が生成されます（Visual StudioのC4018）。

OpenMPプラグマを頻繁に使用するため、intあるunsignedタイプに置き換えることは問題であり、カウンターはint。である必要があります。

私は（数百の）警告を抑制しようとしていますが、問題に対するいくつかのエレガントな解決策を見逃しているのではないかと心配しています。

イテレータについて。イテレータは適切な場所に適用すると素晴らしいと思います。私が使用しているコードは、ランダムアクセスコンテナを何かに変更することはなくlist（したがって、反復処理int iはすでにコンテナに依存しません）、常に現在のインデックスが必要になります。また、入力する必要のあるすべての追加コード（イテレーター自体とインデックス）は、問題を複雑にし、基になるコードの単純さを難読化します。

それはすべてあなたのthings.size()タイプです。そうではありませんintがsize_t（CではなくC ++に存在します）、これは「通常の」符号なし型、つまりunsigned intx86_32に相当します。

演算子「less」（<）は、符号の異なる2つのオペランドには適用できません。そのようなオペコードはなく、標準では、コンパイラが暗黙的な符号変換を実行できるかどうかは指定されていません。したがって、符号付き数値を符号なしとして扱い、その警告を発します。

次のように書くのが正しいでしょう

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

またはさらに高速

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

理想的には、代わりに次のような構成を使用します。

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);
}

これには、コードが突然コンテナに依存しなくなるという優れた利点があります。

そして、あなたの問題に関して、あなたが使用するいくつかのライブラリがあなたがより適したint場所で使用することを要求するならunsigned int、それらのAPIは乱雑です。とにかく、それらintが常にポジティブであると確信しているなら、あなたはただするかもしれません：

int int_distance = static_cast<int>(distance);

これにより、コンパイラに対する意図が明確に指定されます。警告でバグが発生することはもうありません。

イテレータを使用できない/使用std::size_tしない場合、およびループインデックスを使用できない/使用しない場合は、仮定を文書化し、コンパイラの警告を消すために明示的に変換を行う.size()toint変換関数を作成します。

#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)問題の両方が解決されることに注意してください。すべての警告を有効のままにして、それらを使用してコードの他の部分の実際のバグをキャッチできます。

次を使用できます。

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());
}

C ++ 11の次のソリューションを提案することもできます。

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

}

（C ++はautop = 0に対して十分に賢くないので、p = 0Uを置く必要があります...）

私はあなたにもっと良い考えを与えるでしょう

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

decltype です

エンティティの宣言されたタイプ、または式のタイプと値のカテゴリを検査します。

したがって、のタイプを推測し、things.size()とi同じタイプになりますthings.size()。したがって、 i < things.size()警告なしに実行されます

私も同様の問題を抱えていました。size_tの使用は機能していませんでした。私は私のために働いた他のものを試しました。（以下のように）

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

私はただやる

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