為什么？

舉例：

#include <iostream>
#include <vector>
int main(){
    std::vector<int> vec{1, 2, 3};
    for(auto i = 0; i<vec.size(); i++){
        std::cout<<vec[i]<<std::endl;
    }
    return 0;
}

編譯結(jié)果：

<source>: In function 'int main()':
<source>:8:22: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
    8 |     for(auto i = 0; i<vec.size(); i++){
      |                     ~^~~~~~~~~~~

或者，我們將for(auto i = 0; i<vec.size(); i++){改成for(auto i = 0, s = vec.size(); i<s; i++){，得到編譯結(jié)果

<source>: In function 'int main()':
<source>:8:9: error: inconsistent deduction for 'auto': 'int' and then 'long unsigned int'
    8 |     for(auto i = 0, s = vec.size(); i<s; i++){
      |         ^~~~
<source>:8:38: warning: comparison of integer expressions of different signedness: 'int' and 'long unsigned int' [-Wsign-compare]
    8 |     for(auto i = 0, s = vec.size(); i<s; i++){
      |                                     ~^~

第一種編譯結(jié)果只是類型不匹配，第二種編譯結(jié)果是auto自動(dòng)推導(dǎo)出錯(cuò)。這給我們?nèi)粘５木幊坦ぷ鲙硪恍┎槐恪?/p>

怎么辦？

這里借用cppreference的例子：

static_assert(std::is_same_v<decltype(0UZ), std::size_t>);
static_assert(std::is_same_v<decltype(0Z), std::make_signed_t<std::size_t>>);

對(duì)于有符號(hào)的std::size_t,使用z或者Z作為后綴。
對(duì)于無(wú)符號(hào)的std::size_t，使用z、Z和u、U的集合，即uz、uZ、Uz或者UZ。