并非所有控制路径都返回布尔值？

Question

// 我正在使用一个布尔函数，它返回一个 false 和 true，但主要不是 //picking 它。 my_string.Is_full 和 my_string.Is_empty 应该说“它不是 //full”和“它不是空的。语法错误？

#include <iostream>
#include <string>
using namespace std;

const int SIZE = 5;

template <class New_Type>
class Array_Class
{
public:
    Array_Class();
    ~Array_Class();
    void Add(New_Type item);
    void Print();
    void PrintB();
    bool Is_Empty();
    bool Is_Full();

private:
    New_Type *A;
    New_Type *B;
    int count;
};


template <class New_Type>
Array_Class<New_Type>::Array_Class()
{
    cout << "You are inside the default constructor.\n";
    cout << "New_Type has a size of " << sizeof(New_Type) << " bytes\n\n";
    count = 0;
    A = new New_Type[SIZE];
}

template <class New_Type>
Array_Class<New_Type>::~Array_Class()
{
    cout << "The Destructor has been called.\n\n";
    delete[] A;
    count = 0;
    A = 0;
}


template <class New_Type>
void Array_Class<New_Type>::Add(New_Type item)
{
    if (count<SIZE)
    {
        A[count++] = item;
    }
    else
    {
        cout << "The array is full.\n";
    }
}


template <class New_Type>
void Array_Class<New_Type>::Print()
{
    int i;

    for (i = 0; i<count; i++)
    {
        cout << "A[" << i << "] = " << A[i] << endl;
    }
}

//my_String 到这里，结果是 False

template <class New_Type>
bool Array_Class<New_Type>::Is_Full()
{
    if (count == SIZE)
    {
        return true;
    }
    else if (count < SIZE)
    {
        return false;
    }
}

//my_String 到这里，结果是 False

template <class New_Type>
bool Array_Class<New_Type>::Is_Empty()
{
    if (count == 0)
    {
        return true;
    }
    else if (count > 0)
    {
        return false;
    }
}
int main()
{
    Array_Class<string> my_String;
    Array_Class<int> my_Ints;
    Array_Class<char> my_Chars;
    my_String.Add("Hello");
    my_String.Add("GoodBye");
    my_String.Add("ComeHere");
    my_String.Add("SayNo");

    my_Chars.Add('a');
    my_Chars.Add('b');
    my_Chars.Add('c');
    my_Chars.Add('d');
    my_Chars.Add('e');
    my_Chars.Add('f');
    my_Chars.Add('g');

    my_String.Print();
    my_Ints.Print();
    my_Chars.Print();

    cout << endl;

    my_Ints.Is_Empty();
    if (true)
    {
        cout << "It is empty" << endl;
    }
    else
    {
        cout << "It is not empty\n" << endl;
    }

my_String.Is_Empty();应该是假的，但直接变成真

    my_String.Is_Empty();
    if (true)
    {
        cout << "It is empty" << endl;
    }
    else
    {
        cout << "It is not empty\n" << endl;
    }

    cout << endl;


    my_Chars.Is_Full();
    if (true)
    {
        cout << "It is full" << endl;
    }
    else if (false)
    {
        cout << "It is not full" << endl;
    }

my_String.Is_Full();应该是假的，但直接变成真

    my_String.Is_Full();

    if (true)
    {
        cout << "It is full" << endl;
    }
    else if (false)
    {
        cout << "It is not full" << endl;
    }

    return 0;
}

Answer 1

my_String.Is_Full();

if (true)
{
    cout << "It is full" << endl;
}

这是不正确的：你调用 Is_Full()，它返回 false，但你不使用返回值。 然后你检查 true 是否为真，很明显。

你应该这样做：

if (my_String.Is_Full())
{
    cout << "It is full" << endl;
}
else
{
    ...
}

关于编译器警告，它们是你的函数根本不返回的情况，你应该用一个简单的 else 替换你的“else if”，或者在你的条件范围之外添加一个 return 语句。

Answer 2

您没有处理所有案件。

template <class New_Type>
bool Array_Class<New_Type>::Is_Full()
{
    if (count == SIZE)
    {
        return true;
    }
    else if (count < SIZE)
    {
        return false;
    }

}

但是 count > SIZE 呢

您可能希望将其更改为 if ( count >= SIZE ) 或添加一个 else 块

您在此块中有类似的问题

bool Array_Class<New_Type>::Is_Empty()
{
    if (count == 0)
    {
        return true;
    }
    else if (count > 0)
    {
        return false;
    }
}