如何修复隐式转化警告?

时间:2018-02-06 17:44:08

标签: c++ c++11 implicit-conversion unsigned signed

我正在阅读C ++如何编写第9版,尝试学习c ++,并尝试使用第7章中的Knight问题练习。

基于" 64"在输出中,代码显然存在某种逻辑错误(我将自行修复),但在此之前,我仍然坚持理解以及如何处理编译器警告。

我已将board声明为unsigned int的二维数组,因为它只能包含值0-7。同样,出于同样的原因,我已将for循环中的变量声明为unsigned int。

我已经阅读了关于stackoverflow的回复,但他们很快就过去了。

#include <iostream>
#include <array>
#include <iomanip>

using namespace std;

void printArray(const array< array< unsigned int, 8 >, 8 >);

int main() {
  array< array< unsigned int, 8 >, 8 > board = {};
  array< int, 8 > horizontal = {{ 2, 1, -1, -2, -2, -1, 1, 2 }};
  array< int, 8 > vertical = {{ -1, -2, -2, -1, 1, 2, 2, 1 }};
  unsigned int currentRow = 0;
  unsigned int currentCol = 0;
  for (unsigned int i = 0; i < 64; i++) {
    board[currentRow][currentCol] = i + 1;
    for (unsigned int j = 0; j < 8; j++) {
      if (currentRow + horizontal[j] >= 0 &&
        currentRow + horizontal[j] < 8 &&
        currentCol + vertical[j] >= 0 &&
        currentCol + vertical[j] < 8 &&
        board[currentRow + horizontal[j]][currentCol + vertical[j]] == 0
      ) {
        currentRow = currentRow + horizontal[j];
        currentCol = currentCol + vertical[j];
        break;
      }
    }
  }
  printArray(board);
}

void printArray(const array< array< unsigned int, 8 >, 8 > myBoard) {
  for ( unsigned int i = 0; i < 8; i++) {
    for ( unsigned int j = 0; j < 8; j++) {
      cout << '[' << setw(2) << setfill('0') << myBoard[i][j] << "] ";
    }
    cout << endl;
  }
}

输出:

~/Programming/cpp/knight => make
rm -fr build/*
clang++ -std=c++11 -stdlib=libc++ -Weverything -Wno-c++98-compat src/main.cpp -o build/main -Isrc/
src/main.cpp:18:24: warning: implicit conversion changes signedness: 'value_type' (aka 'int') to 'unsigned int' [-Wsign-conversion]
      if (currentRow + horizontal[j] >= 0 &&
                     ~ ^~~~~~~~~~~~~
src/main.cpp:18:38: warning: comparison of unsigned expression >= 0 is always true [-Wtautological-compare]
      if (currentRow + horizontal[j] >= 0 &&
          ~~~~~~~~~~~~~~~~~~~~~~~~~~ ^  ~
src/main.cpp:19:22: warning: implicit conversion changes signedness: 'value_type' (aka 'int') to 'unsigned int' [-Wsign-conversion]
        currentRow + horizontal[j] < 8 &&
                   ~ ^~~~~~~~~~~~~
src/main.cpp:20:22: warning: implicit conversion changes signedness: 'value_type' (aka 'int') to 'unsigned int' [-Wsign-conversion]
        currentCol + vertical[j] >= 0 &&
                   ~ ^~~~~~~~~~~
src/main.cpp:20:34: warning: comparison of unsigned expression >= 0 is always true [-Wtautological-compare]
        currentCol + vertical[j] >= 0 &&
        ~~~~~~~~~~~~~~~~~~~~~~~~ ^  ~
src/main.cpp:21:22: warning: implicit conversion changes signedness: 'value_type' (aka 'int') to 'unsigned int' [-Wsign-conversion]
        currentCol + vertical[j] < 8 &&
                   ~ ^~~~~~~~~~~
src/main.cpp:22:28: warning: implicit conversion changes signedness: 'value_type' (aka 'int') to 'unsigned int' [-Wsign-conversion]
        board[currentRow + horizontal[j]][currentCol + vertical[j]] == 0
                         ~ ^~~~~~~~~~~~~
src/main.cpp:22:56: warning: implicit conversion changes signedness: 'value_type' (aka 'int') to 'unsigned int' [-Wsign-conversion]
        board[currentRow + horizontal[j]][currentCol + vertical[j]] == 0
                                                     ~ ^~~~~~~~~~~
src/main.cpp:24:35: warning: implicit conversion changes signedness: 'value_type' (aka 'int') to 'unsigned int' [-Wsign-conversion]
        currentRow = currentRow + horizontal[j];
                                ~ ^~~~~~~~~~~~~
src/main.cpp:25:35: warning: implicit conversion changes signedness: 'value_type' (aka 'int') to 'unsigned int' [-Wsign-conversion]
        currentCol = currentCol + vertical[j];
                                ~ ^~~~~~~~~~~
10 warnings generated.
./build/main
[01] [24] [09] [00] [00] [26] [37] [00]
[10] [41] [02] [25] [36] [00] [00] [27]
[23] [08] [11] [40] [21] [38] [00] [00]
[64] [03] [22] [35] [00] [00] [28] [00]
[07] [12] [05] [20] [39] [34] [00] [00]
[04] [17] [14] [31] [00] [29] [00] [00]
[13] [06] [19] [16] [33] [00] [00] [00]
[18] [15] [32] [00] [30] [00] [00] [00]

1 个答案:

答案 0 :(得分:4)

当您编写

时,编译器会告诉您
currentRow + horizontal[j] >= 0

您添加了signed int unsigned int,因此signed int转换为unsigned int,求和结果为unsigned int并且unsigned int 永远大于或等于零。

所以这个测试永远是true所以(假设)并不是你想要的。

相同的问题
currentCol + vertical[j] >= 0

以及更一般的signed / unsigned值的每个总和。

乍一看,您可以将currentRowcurrentCol定义为(signedint

否则,您可以在总和中投射unsigned个值

int{currentRow} + horizontal[j] >= 0