在C程序中使用exit_failure时发生运行时错误

Question

---

所以我创建了一个程序，你必须输入日期dd/mm/yyyy，然后得到日期.day+1，但我不想验证输入的日期是否有效，即日期.day介于1和31之间，月份介于1和12之间，年份介于1和9999之间，并且输入的日期小于当月的天数，如果其中一个失败，则返回退出失败

`// Program to determine tomorrow's date
#include <stdio.h>
#include <stdbool.h>
#include <stdlib.h>
struct date
{
int day;
int month;
int year;
};
int main(void)
{
struct date today, nextDay;
bool isValidDate(struct date VarName);
struct date dateUpdate(struct date today);

printf("Enter today's date (dd mm yyyy): ");
scanf("%i %i %i", &today.day, &today.month, &today.year);
if (isValidDate(today) == false)
{
printf("Invalid date format. n");
exit(EXIT_FAILURE);
}
nextDay = dateUpdate(today);
printf("Tomorrow's date is: %i/%i/%i n", nextDay.day, 
nextDay.month,             
nextDay.year % 100);
return 0;
}
// Function to update today's date to tomorrow's date
struct date dateUpdate(struct date today)
{
struct date tomorrow;
int numberOfDays(struct date VarName);
if (today.day != numberOfDays(today)) // End of day
{
tomorrow.day = today.day + 1;
tomorrow.month = today.month;
tomorrow.year = today.year;
}
else if (today.month == 12)         // End of year
{
tomorrow.day = 1;
tomorrow.month = 1;
tomorrow.year = today.year + 1;
}
else                                // End of month
{
tomorrow.day = 1;
tomorrow.month = today.month + 1;
tomorrow.year = today.year;
}
return tomorrow;
}
// Function to find the numbers of days in a month
int numberOfDays(struct date VarName)
{
const int daysPerMonth[13] = {0, 31, 28, 31, 30, 31, 30,
31, 31, 30, 31, 30, 31
};
int days;
bool isLeapYear(struct date VarName);
bool isValidDate(struct date VarName);
if (isLeapYear(VarName) == true && VarName.month == 2)
{
days = 29;
}
else
{
days = daysPerMonth[VarName.month];
}
return days;
}
// Function to determine if a year is a leap year
bool isLeapYear(struct date VarName)
{
bool leapYearFlag;
if ((VarName.year % 4 == 0 && VarName.year % 100 != 0) ||
VarName.year % 400 == 0)
{
leapYearFlag = true; // It's a leap year
}
else
{
leapYearFlag = false; // Not a leap year
}
return leapYearFlag;
}
bool isValidDate(struct date VarName)
{
if ( (VarName.day < 1 && VarName.day > 31) || (VarName.day >         
numberOfDays(VarName)) ) // Day format verifier
{
return false;
}
else if (VarName.month < 1 && VarName.month > 12) 
// Month format verifier      
{
return false;
}
else if (VarName.year < 1 && VarName.year > 9999)
// Year format verifier
{
return false;
}
else
{
return true;
}
}`

测试A

输入今天的日期(dd-mm-yyyy)：2018年3月31日

结果

prog_84.c:78:16:运行时错误：索引13超出了类型"const int[13]"的界限无效的日期格式。

测试B

输入今天的日期(dd-mm-yyyy)：2018年12月31日

结果

无效的日期格式。

测试C

输入今天的日期(年月日)：2018年12月31日

结果

明天的日期是：1/1/19

如果你注意到，如果有一个月大于13，我会得到一个运行时错误，我不想得到，我不希望得到与测试B相同的消息，其中输入的日期大于该月的天数，如果我在DateUpdate函数之前有我的格式验证器，为什么编译器运行DateUpdate函数，因为我认为a错误与该函数有关，但如果我的错误验证器工作正常，程序就不会运行这个函数，因为它会在到达那里之前终止，至少我是这么想的，你能帮我吗？

Answer 1

我想问题出在这里：

if ( (VarName.day < 1 && VarName.day > 31) || (VarName.day >         
numberOfDays(VarName)) ) // Day format verifier

如下所示，const in daysPerMonth[13]中没有13的索引。您只有从0到12的索引，在函数bool isValidDate()中，您放置Varname而不检查索引是否在1到12之间。

在将Varname放入numberOfDays()之前检查索引将解决您的问题。