型パラメータとして "size_t"、キャスト警告が再生されない

Question

私は古いコードで警告を取り除こうとしていましたが（MSVC 2005を使用しなければならず、現在は32ビットビルドで動作しています）、苦労してsize_t〜unsigned int変換警告を取り除いてください。私たちは、

template<typename I> const T& at(const I i) const {return atImpl(i);}

メソッドを実装して成長している配列の私たち自身のArray<T>の実装を持っています。

size_t i = 10; myArray.at(i);

として呼び出されたときに、私はconversion from 'size_t' to 'const unsigned int', possible loss of data警告が表示されます。 作業理論はIを変換/ size_t（不便なく、許容されているだろう）atからiを渡すときunsigned intへをキャストするようにコンパイラを引き起こしているunsigned int、であると理解されていることをてきました。しかし、は最小限の作業例（この記事の最後）でも、より複雑な最小限の例でもこの警告を再現できませんでした。単にunsigned intにパラメータをキャストすると、警告が消えなり、私たちのニーズに十分であろう（契約によって、数はunsigned intに収まる）

1. 私の理解は約Iunsigned intているように、コールで正しい（仕様では、「言いますのtypedef名は、このように別のタイプの同義語です。typedefは名 は、新しいタイプ」を導入しない、typeid(size_t(1)).name()）がunsigned intとsize_tはtypedef供給されているようだと言います。言い換えれば、最小限の例で警告を与えるべきか、そうすべきではないか？私が知る限り、構築構成は同じです。
2. 私たちのコードは私たちに警告を与えており、最小限の例ではないので、私は見落とされるべきものがあります。すべての努力にもかかわらず、私は何が分かりません。アイデア？

おかげ

最小限例

：

機能で

template<typename T> 
    class A 
    { 
     int t; 
    public: 
     template<typename I> T& at(const I i) { return t;} 
    }; 

    int main() 
    { 
     size_t i = 10; 
     A<int> a; 
     a.at(i) = 5; // no warning, why? 
     return 0; 
    } 

Answer 1

もテンプレート化されています。 C++は、テンプレート型の引数を推測しようとします。 a.at < size_t>（1）;のような呼び出しで型を指定していないので、あなたのコードで何が起こっているのですか？

それはunsigned int型としてのタイプを推測しているので、このコードは、警告を生成しますし、我々はEDIT

template <typename T> 
class A 
{ 
    int t; 
    public: 
     template<typename I> T& at(const I i) 
     { return t;} 
}; 

int main() 
{ 
    unsigned int j = 5; 
    size_t i = 10; 
    A<int> a; 

    a.at(j) = 4; // deduce template type as unsigned int 
    a.at(i) = 5; // generate warning 
    return 0; 
} 

size_t型に渡すようにしてみてください：は私が実際にVSでこのコードを試してみましたが、それが生成します警告。

Edit2：私が試したコードでは、size_tとunsigned intは両方とも4バイトでした。だから私は掘り起こした。 VSの古いバージョンでは、size_tはtypedef __w64 unsigned int size_tと定義されています。 '__w64'は現在廃止予定ですが、64ビットプラットフォームに移行する際に異なるサイズ（64対32など）のフラグを付けるために使用されています。 __w64を指定すると、コンパイラはsize_tを別の型として認識します。

私は自分自身の符号なし整数myintを型定義し、size_t i = 10をmyint i = 10に変更しました。 typedef __w64 unsigned int myintを使用して

はtypedefをunsigned int型myint`が警告を生成しません」と警告を生成します。