- c - 在位数组中找到第一个零
- linux - Unix 显示有关匹配两种模式之一的文件的信息
- 正则表达式替换多个文件
- linux - 隐藏来自 xtrace 的命令
上下文:在最近的一次谈话中,问题“gcc/clang 在编译时执行 strlen("static string")
吗?”上来了。经过一些测试,答案似乎是肯定的,无论优化级别如何。甚至在 -O0
上看到这也完成了,我有点惊讶,所以我做了一些测试,最终得出了以下代码:
#include <stdio.h>
unsigned long strlen(const char* s) {
return 10;
}
unsigned long f() {
return strlen("abcd");
}
unsigned long g(const char* s) {
return strlen(s);
}
int main() {
printf("%ld %ld\n",f(),g("abcd"));
return 0;
}
令我惊讶的是,它打印出 4 10
而不是 10 10
。我尝试使用 gcc
和 clang
进行编译,并使用各种标志(-pedantic
、-O0
、 -O3
, -std=c89
, -std=c11
, ...) 并且测试之间的行为是一致的。
因为我没有包含 string.h
,所以我希望使用我对 strlen
的定义。但汇编代码确实显示 strlen("abcd")
基本上被 return 4
取代(这是我在运行程序时观察到的)。
此外,编译器不会使用 -Wall -Wextra
打印任何警告(更准确地说,与问题无关:他们仍然警告参数 s
在我的定义中未使用strlen
).
出现了两个(相关)问题(我认为它们足够相关,可以在同一个问题中提出):
- 是否允许在 C 语言中重新定义标准函数,但不包含声明它的 header ?
- 这个程序的行为是否正常?如果是这样,具体会发生什么?
最佳答案
根据 C 2011(N1570 草案)7.1.3 1 和 2:
All identifiers with external linkage in any of the following subclauses … are always reserved for use as identifiers with external linkage.
If the program declares or defines an identifier in a context in which it is reserved (other than as allowed by 7.1.4), or defines a reserved identifier as a macro name, the behavior is undefined.
“以下子条款”指定标准 C 库,包括 strlen
。您的程序定义了 strlen
,因此其行为未定义。
您观察到的情况是:
strlen
的行为方式,因此,在优化 f
中的 strlen("abcd")
时>,它在编译时计算 strlen
,结果是四个。g("abcd")
中,编译器无法识别,因为 g
的定义,这等同于 strlen("abcd ")
,因此它不会在编译时对其进行优化。相反,它将其编译为对 g
的调用,并将 g
编译为调用 strlen
,并且还会编译您对 的定义strlen
,结果 g("abcd")
调用 g
,后者调用您的 strlen
,返回 10。C 标准将允许编译器完全丢弃您对 strlen
的定义,以便 g
返回 4。但是,一个好的编译器应该警告您的程序定义了保留标识符。
关于c - 从标准库重新定义函数,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/50741722/
Java 库和 android 库有什么区别,各自有什么优点/缺点? 最佳答案 您可以在 Android 应用程序中包含标准 Java .jar 文件库。它们在 .apk 构建时被翻译成 Dalvik
所以,我现在的代码就像从 Java 层加载库(比如 liba.so),并在内部 liba.so 加载 libb.so。因此,如果我必须将所有库打包到 APK 中并将其安装在没有 root 访问权限的设
我想在我的系统中设置 LEDA 库。 我已经从以下链接下载了 LEDA 库 http://www.algorithmic-solutions.info/free/d5.php Instruct
我想用 autoconf 创建一个共享库。但是,我希望共享库具有“.so”扩展名,而不是以“lib”开头。基本上,我想制作一个加载 dlopen 的插件。 .是否有捷径可寻? 当我尝试使用 autoc
我需要在 Apps 脚本应用程序上修改 PDF。为此,我想使用 JS 库:PDF-LIB 我的代码: eval(UrlFetchApp.fetch("https://unpkg.com/pdf-lib
我正在构建一个使用以下 Boost header 的程序(我使用的是 Microsoft Visual C++ 10), #include #include #include #include
当我通过 cygwin 在 hadoop 上运行此命令时: $bin/hadoop jar hadoop-examples-*.jar grep input output 'dfs[a-z.]+' 我
我已经通过 vcpgk 成功安装了一个 C++ 库,名为:lmdb:x64-windows 我还安装了lmdb通过 Cabal 安装的 Haskell 绑定(bind)包 在尝试测试 lmdb 包时:
我该如何解决这个问题? 我刚刚将 javacv jar 文件复制到我的项目 Lib 文件夹下,但出现了这个错误! 我可以找到这个thread来自谷歌,但不幸的是,由于我国的谷歌限制政策,该页面无法打开
我有一个 Android 库项目 FooLib。 FooLib 引用 Android Context 之类的东西,但不需要任何资源文件(res/ 中的东西)所以我目前将其打包为供我的应用使用的 JAR
我正在开发一个 Android 应用程序(使用 Android Studio),它能够通过手势识别算法了解您正在进行的 Activity 。对于我使用 nickgillian ithub 帐户上可用的
关于从 .NET Framework 项目中引用 .NET Standard 类库的问题有很多类似的问题,其中 netstandard 库中的 NuGet 包依赖项不会流向 netframework
我已经从互联网上下载了 jna-4.2.2.jar,现在想将这个 jar 导入到我的项目中。但是当我试图将这个 jar 导入我的项目时,出现以下错误。 [2016-06-20 09:35:01 - F
我正在尝试通过编译在 Mac 上安装 rsync 3.2.3。但是,我想安装所有功能。为此,它需要一些库,此处 ( https://download.samba.org/pub/rsync/INSTA
进入 Web 开发有点困难。过去 5 年我一直致力于 winforms 工作。所以我正在努力从一种切换到另一种。前段时间,我使用过 JavaScript,但现在还没有大量的 JavaScript 库
很难说出这里要问什么。这个问题模棱两可、含糊不清、不完整、过于宽泛或夸夸其谈,无法以目前的形式得到合理的回答。如需帮助澄清此问题以便重新打开,visit the help center . 关闭 1
我正在寻找一个用Python编写的与logstash(ruby + java)类似的工具/库。 我的目标是: 从 syslog 中解析所有系统日志 解析应用程序特定日志(apache、django、m
就目前情况而言,这个问题不太适合我们的问答形式。我们希望答案得到事实、引用资料或专业知识的支持,但这个问题可能会引发辩论、争论、民意调查或扩展讨论。如果您觉得这个问题可以改进并可能重新开放,visit
我花了几天时间试图寻找用于 JavaPOS 实现的 .jar 库,但我找不到任何可以工作的东西。我找到了很多像这样的文档:http://jpos.1045706.n5.nabble.com/file/
这个问题在这里已经有了答案: Merge multiple .so shared libraries (2 个答案) 关闭 9 年前。 我有我在代码中使用的第三方库的源代码和对象。该库附带有关如何使
我是一名优秀的程序员,十分优秀!