如果不检查函数返回值,如何强制编译错误?

2023-12-19

如果我使用特定函数而不检查其返回值,我希望编译器发出错误。

我在 Eclipse 中使用 GCC。

例如 :

int fun (){ return 3;}

void main ()
{
   printf("%d",fun ());
}

我调用该函数fun并打印返回值,但我不检查返回值。相反,我想强制执行这样的事情:

int ret=fun();
if(ret != some_value) { /* Do something */ }
printf("%d",fun ());

这可能吗?


您不能强制进行适当的检查

我认为没有任何方法可以按照您想要的方式做到这一点。毕竟在声明中printf("%d",fun ())你实际上是在检查返回值fun()通过将其发送到另一个函数。当然,printf并没有真正“检查”返回值,但您可以这样使用它:

void exit_if_fun_returns_negative_value(int val) { if(val<0) exit(EXIT_FAILURE); }

int main(void)
{
    exit_if_fun_returns_negative_value(fun());
}

但是没有办法让编译器理解这和你的区别printf陈述。我假设您想强制程序员将返回值保存在变量中,但我不知道应该如何完成,即使您可以这样做,它也不能确保正确的检查。看看这个例子:

char *array;
void *ptr;
ptr = realloc(array, 20);
strcpy(array, "Hello, World!");

注意我们如何将返回值保存在ptr但因为我们没有做类似的事情if(ptr == NULL) exit(EXIT_FAILURE);这毫无意义。

但你可以防止完全忽略返回值

但是,有一种方法可以防止您不参与的陈述using(当然,这与实际检查不同)返回值。

据我所知,没有可移植的方法可以做到这一点。您将不得不依赖编译器扩展。 Gcc有这样的扩展。

__attribute__ ((warn_unused_result)) int foo (void) 
{
    return 5;
}

int main(void)
{
    foo();
}

编译此文件将生成此警告:

$ gcc main.c
main.c: In function ‘main’:
main.c:9:5: warning: ignoring return value of ‘foo’, declared with attribute warn_unused_result [-Wunused-result]
    9 |     foo();
      |     ^~~~~

为了将其视为错误,请使用以下命令进行编译-Werror

$ gcc main.c -Werror
main.c: In function ‘main’:
main.c:9:5: error: ignoring return value of ‘foo’, declared with attribute warn_unused_result [-Werror=unused-result]
    9 |     foo();
      |     ^~~~~
cc1: all warnings being treated as errors

如果您希望所有其他警告只是警告,请使用-Werror=unused-result。例子:

$ cat main.c 
__attribute__ ((warn_unused_result))
int foo (void)
{
    return 5;
}

int main(void)
{
    int *x = 5;
    foo();
}

$ gcc main.c -Werror=unused-result
main.c: In function ‘main’:
main.c:9:14: warning: initialization of ‘int *’ from ‘int’ makes pointer from integer without a cast [-Wint-conversion]
    9 |     int *x = 5;
      |              ^
main.c:10:5: error: ignoring return value of ‘foo’, declared with attribute warn_unused_result [-Werror=unused-result]
   10 |     foo();
      |     ^~~~~
cc1: some warnings being treated as errors

更改签名以包含输出参数

完成类似任务的一种选择是将返回值移至参数。这将强制将“返回值”保存到参数中,并且如果不向其发送输出变量,则无法调用该函数。改变

int fun (){ return 3;} 

to

void fun(int *ret) { *ret=3; }

但正如我上面提到的,我看不出如何强制对变量进行正确检查。这只会强制执行分配。

包装函数

另一种选择是使用包装函数。这通常会大大降低灵活性,因此在使用它之前请三思而后行,但它是一个在某些情况下可能有用的选项。假设您有一个标头/源对。将包装器的原型放在头文件中,并将包装器和函数的实现放在源文件中。这将对程序员隐藏原始函数。它可以看起来像这样:

.h

int fun_wrapper();

.c

int fun() { return 3; }

int fun_wrapper() 
{ 
    int ret = fun(); 
    if(ret<0) exit(EXIT_FAILURE);
    return ret;
}

如何将此技术用于库函数

我创建了一个有答案的相关问题。这是关于如何使用它fgets以及库中的其他函数:如何使用原始名称创建库函数的包装? https://stackoverflow.com/q/58396182/6699433

本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

如果不检查函数返回值,如何强制编译错误? 的相关文章

  • Func 方法参数的首选命名约定是什么?

    我承认这个问题是主观的 但我对社区的观点感兴趣 我有一个缓存类 它采用类型的缓存加载器函数Func
  • 如何在C++中实现模板类协变?

    是否可以以这样一种方式实现类模板 如果模板参数相关 一个对象可以转换为另一个对象 这是一个展示这个想法的例子 当然它不会编译 struct Base struct Derived Base template
  • 为什么 POSIX 允许在只读模式下超出现有文件结尾 (fseek) 进行搜索

    为什么寻找文件结尾很有用 为什么 POSIX 让我们像示例中那样在以只读方式打开的文件中进行查找 c http en cppreference com w c io fseek http en cppreference com w c io
  • 将字符串从非托管代码传递到托管

    我在将字符串从非托管代码传递到托管代码时遇到问题 在我的非托管类中 非托管类 cpp 我有一个来自托管代码的函数指针 TESTCALLBACK FUNCTION testCbFunc TESTCALLBACK FUNCTION 接受一个字符
  • 如何在 WPF RichTextBox 中跟踪 TextPointer?

    我正在尝试了解 WPF RichTextBox 中的 TextPointer 类 我希望能够跟踪它们 以便我可以将信息与文本中的区域相关联 我目前正在使用一个非常简单的示例来尝试弄清楚发生了什么 在 PreviewKeyDown 事件中 我
  • c 中的错误:声明隐藏了全局范围内的变量

    当我尝试编译以下代码时 我收到此错误消息 错误 声明隐藏了全局范围内的变量 无效迭代器 节点 根 我不明白我到底在哪里隐藏或隐藏了之前声明的全局变量 我怎样才能解决这个问题 typedef node typedef struct node
  • HttpClient 像浏览器一样请求

    当我通过 HttpClient 类调用网站 www livescore com 时 我总是收到错误 500 可能服务器阻止了来自 HttpClient 的请求 1 还有其他方法可以从网页获取html吗 2 如何设置标题来获取html内容 当
  • 为什么模板不能位于外部“C”块内?

    这是一个后续问题一个答案 https stackoverflow com questions 4866433 is it possible to typedef a pointer to extern c function type wit
  • 在 ASP.Net Core 2.0 中导出到 Excel

    我曾经使用下面的代码在 ASP NET MVC 中将数据导出到 Excel Response AppendHeader content disposition attachment filename ExportedHtml xls Res
  • A* 之间的差异 pA = 新 A;和 A* pA = 新 A();

    在 C 中 以下两个动态对象创建之间的确切区别是什么 A pA new A A pA new A 我做了一些测试 但似乎在这两种情况下 都调用了默认构造函数 并且仅调用了它 我正在寻找性能方面的任何差异 Thanks If A是 POD 类
  • 使用向量的 merge_sort 在少于 9 个输入的情况下效果很好

    不知何故 我使用向量实现了合并排序 问题是 它可以在少于 9 个输入的情况下正常工作 但在有 9 个或更多输入的情况下 它会执行一些我不明白的操作 如下所示 Input 5 4 3 2 1 6 5 4 3 2 1 9 8 7 6 5 4 3
  • 线程、进程和 Application.Exit()

    我的应用程序由主消息循环 GUI 和线程 Task Factory 组成 在线程中我调用一些第三方应用程序var p new Process 但是当我调用Application Exit 在消息循环中 我可以看到在线程中启动的进程仍在内存中
  • 我的 strlcpy 版本

    海湾合作委员会 4 4 4 c89 我的程序做了很多字符串处理 我不想使用 strncpy 因为它不会终止 我不能使用 strlcpy 因为它不可移植 只是几个问题 我怎样才能让我的函数正常运行 以确保它完全安全稳定 单元测试 这对于生产来
  • 什么是 C 语言的高效工作流程? - Makefile + bash脚本

    我正在开发我的第一个项目 该项目将跨越多个 C 文件 对于我的前几个练习程序 我只是在中编写了我的代码main c并使用编译gcc main c o main 当我学习时 这对我有用 现在 我正在独自开展一个更大的项目 我想继续自己进行编译
  • char指针或char变量的默认值是什么[重复]

    这个问题在这里已经有答案了 下面是我尝试打印 char 变量和指针的默认值 值的代码 但无法在控制台上看到它 它是否有默认值或只是无法读取 ASCII 范围 include
  • ListDictionary 类是否有通用替代方案?

    我正在查看一些示例代码 其中他们使用了ListDictionary对象来存储少量数据 大约 5 10 个对象左右 但这个数字可能会随着时间的推移而改变 我使用此类的唯一问题是 与我所做的其他所有事情不同 它不是通用的 这意味着 如果我在这里
  • 方法参数内的变量赋值

    我刚刚发现 通过发现错误 你可以这样做 string s 3 int i int TryParse s hello out i returns false 使用赋值的返回值是否合法 Obviously i is but is this th
  • 如何使用 ReactiveList 以便在添加新项目时更新 UI

    我正在创建一个带有列表的 Xamarin Forms 应用程序 itemSource 是一个reactiveList 但是 向列表添加新项目不会更新 UI 这样做的正确方法是什么 列表定义 listView new ListView var
  • 使用 eclipse IDE 配置 angularjs

    我想开始使用 AngularJs 和 Java Spring 进行开发 我使用 Eclipse 作为 IDE 我想配置我的 Eclipse 以使这些框架无缝工作 我知道我可能要求太多 但相信我 我已经做了很多研究 你们是我最后的选择 任何帮
  • 将 viewbag 从操作控制器传递到部分视图

    我有一个带有部分视图的 mvc 视图 控制器中有一个 ActionResult 方法 它将返回 PartialView 因此 我需要将 ViewBag 数据从 ActionResult 方法传递到 Partial View 这是我的控制器

随机推荐