[英]C++ warning: Not all control paths return a value
Well, I have some warnings that cause my program to crash, when I enter size 3.好吧,当我输入大小 3 时,我有一些警告会导致我的程序崩溃。
Not all control paths return a value.并非所有控制路径都返回值。
I am trying to solve N matrix, input, output and some operations.我正在尝试解决 N 矩阵、输入、输出和一些操作。 I store first column我存储第一列
_vec[0:size-1],last column _vec[size : (size*2)-1]
and diagonal和对角线
_vec[size*2 : size*3-2]
of matrix in 1-dimensional
array. 1-dimensional
数组中的矩阵。 The size of array is size of matrix * 3 -2
.数组的大小是matrix * 3 -2
大小matrix * 3 -2
。 The problem occurs when I overload () operators:当我重载 () 运算符时会出现问题:
int _size = (_vec.size() +2) /3;
// when I switch from vector size to normal matrix size. f.e vector size: 7,
// my matrix size is 3.
int Matrix::operator()(int i, int j) const
{
int _size = (_vec.size() +2) /3;
if ((i >= _size || i < 0) || (j >= _size || j < 0)) throw OVERINDEXED;
if (i != j && j != 0 && j != _size - 1) return 0;
else {
if (j == 0)
{
return _vec[i];
}
else if (j == _size - 1)
{
return _vec[_size + i];
}
else if (i == j && j != 0 && j != _size - 1)
{
return _vec[(_size * 2) + i];
}
}
}
int& Matrix::operator()(int i, int j)
{
int _size = (_vec.size() +2) /3;
if ((i >= _size || i < 0) || (j >= _size || j < 0)) throw OVERINDEXED;
if (i != j && j != 0 && j != _size - 1) throw NULLPART;
else {
if (j == 0)
{
return _vec[i];
}
else if (j == _size - 1)
{
return _vec[_size + i];
}
else if (i == j && j != 0 && j != _size - 1)
{
return _vec[(_size * 2) + i];
}
}
}
Change the code like below for second function as well.也为第二个函数更改如下代码。
int Matrix::operator()(int i, int j) const
{
int _size = (_vec.size() + 2) / 3;
if ((i >= _size || i < 0) || (j >= _size || j < 0)) throw OVERINDEXED;
if (i != j && j != 0 && j != _size - 1) return 0;
else {
if (j == 0)
{
return _vec[i];
}
else if (j == _size - 1)
{
return _vec[_size + i];
}
else if (i == j && j != 0 && j != _size - 1)
{
return _vec[(_size * 2) + i];
}
}
return 0; // added this line
}
It requires some analysis to prove that all cases return.它需要一些分析来证明所有案例都会返回。
And it seems your compiler doesn't do the full analysis看来你的编译器没有做完整的分析
int Matrix::operator()(int i, int j) const
{
int _size = (_vec.size() + 2) /3;
if ((i >= _size || i < 0) || (j >= _size || j < 0)) throw OVERINDEXED;
if (i != j && j != 0 && j != _size - 1) return 0;
else {
if (j == 0)
{
return _vec[i];
}
else if (j == _size - 1)
{
return _vec[_size + i];
}
else if (i == j && j != 0 && j != _size - 1)
{
return _vec[(_size * 2) + i];
}
else
{
// No return here.
// But is this case reachable?
// yes, for (i, j) respecting:
// (0 <= i && i < _size) && (0 <= j && j < _size)
// && ((i == j) || (j == 0) || (j == _size - 1)) // #2
// && (j != 0) && (j != _size - 1) // #1
// && (i != j || j == 0 || j == _size - 1) // #3
// which after simplification results indeed in false.
// #1 simplifies #2 to (i == j) and #3 to (i != j)
}
}
}
On the other part, that means that you do useless "tests" that you can remove (and so please the compiler):另一方面,这意味着你做了无用的“测试”,你可以删除(因此请编译器):
int Matrix::operator()(int i, int j) const
{
int _size = (_vec.size() + 2) /3;
if ((i >= _size || i < 0) || (j >= _size || j < 0)) throw OVERINDEXED;
if (i != j && j != 0 && j != _size - 1) return 0;
else {
if (j == 0)
{
return _vec[i];
}
else if (j == _size - 1)
{
return _vec[_size + i];
}
else // We have necessary (i == j && j != 0 && j != _size - 1)
{
return _vec[(_size * 2) + i];
}
}
}
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.