C语言的隐藏特性

Question

C语言的隐藏特性

chidden-features

141

我知道在所有C编译器实现背后都有一个标准，因此不应该有任何隐藏功能。尽管如此，我相信所有的C开发人员都有他们经常使用的隐藏/秘密技巧。

- bernardn

如果你/有人能够编辑这个“问题”，指出最好的隐藏功能选择，就像在C#和Perl版本的问题中那样，那将是很棒的。 - Donal Fellows

56个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Iulian Șerbănoiu · Answer 1

10

奇怪的向量索引：

int v[100]; int index = 10; 
/* v[index] it's the same thing as index[v] */

- Iulian Șerbănoiu

4

这句话的意思是 "这样会更好...... char c = 2["Hello"];"，执行后变量 c 的值为 'l'。 - yrp

5

考虑到 v[index] 等同于 *(v + index)，以及 index[v] 等同于 *(index + v)，所以这并不奇怪。 - Ferruccio

17

请告诉我你并不实际“一直”使用这个，就像问题所问的那样！ - Tryke

- Kevin S. · Answer 2

C编译器实现了多个标准之一。然而，拥有标准并不意味着语言的所有方面都已定义。例如Duff's device是一个受欢迎的“隐藏”功能，它变得如此流行，以至于现代编译器具有特殊目的的识别代码，以确保优化技术不会破坏这种经常使用的模式的期望效果。

一般来说，不鼓励使用隐藏功能或语言技巧，因为您正在运行编译器使用的任何C标准的边缘。许多这样的技巧在一个编译器到另一个编译器上不起作用，并且这些类型的功能经常会从给定制造商的编译器套件的一个版本失败到另一个版本。

破坏C代码的各种技巧包括：

取决于编译器在内存中放置结构体的方式。
整数/浮点数字节序的假设。
函数ABIs的假设。
堆栈帧增长方向的假设。
语句执行顺序的假设。
函数参数中语句执行顺序的假设。
短整型、整型、长整型、浮点型和双精度型的位大小或精度的假设。

其他问题和问题会在程序员对执行模型做出假设时出现，这些行为在大多数C标准中都被指定为“依赖于编译器”的行为。

- onemasse · Answer 3

当使用sscanf时，您可以使用%n来确定应该从哪里继续读取：

sscanf ( string, "%d%n", &number, &length );
string += length;

显然，您无法添加另一个答案，因此我在此包含第二个答案，您可以使用"&&"和"||"作为条件语句：

#include <stdio.h>
#include <stdlib.h>

int main()
{
   1 || puts("Hello\n");
   0 || puts("Hi\n");
   1 && puts("ROFL\n");
   0 && puts("LOL\n");

   exit( 0 );
}

这段代码将输出：

您好
ROFL

- Alex Brown · Answer 4

Gcc（C语言编译器）有一些有趣的功能可以启用，例如嵌套函数声明和 ?: 运算符的 a?:b 形式，如果 a 不为 false，则返回 a。

- Dror Helper · Answer 5

8

使用INT(3)在代码中设置断点是我一直以来最喜欢的方法。

- Dror Helper

3

我认为它不太具有可移植性。虽然在x86平台上可以运行，但其他平台呢？ - Cristian Ciupitu

1

我不知道 - 你应该发布一个相关问题。 - Dror Helper

2

这是一种不错的技术，它是X86特定的（虽然其他平台可能有类似的技术）。然而，这不是C语言的一个特性。它依赖于非标准的C扩展或库调用。 - Ferruccio

1

在GCC中有__builtin_trap，在MSVC中有__debugbreak，它们可以在任何支持的架构上工作。 - Axel Gneiting

- Sridhar Iyer · Answer 6

我最喜欢 C 语言中的“隐藏”功能是在 printf 中使用 %n 将值写回堆栈。通常，printf 根据格式字符串从堆栈中弹出参数值，但 %n 可以将它们写回。

请查看第 3.4.2 节这里。可能会导致许多严重的漏洞。

- S.C. Madsen · Answer 7

使用枚举类型进行编译时假设检查：虽然下面的示例比较简单，但对于具有可在编译时配置的常量的库来说非常有用。

#define D 1
#define DD 2

enum CompileTimeCheck
{
    MAKE_SURE_DD_IS_TWICE_D = 1/(2*(D) == (DD)),
    MAKE_SURE_DD_IS_POW2    = 1/((((DD) - 1) & (DD)) == 0)
};

- Patrick Schlüter · Answer 8

我最近发现了0位字段。

这句话是关于IT技术的内容。

struct {
  int    a:3;
  int    b:2;
  int     :0;
  int    c:4;
  int    d:3;
};

这将提供一个布局

000aaabb 0ccccddd

将“:0;”替换为“without”。

0000aaab bccccddd

0宽度字段表示接下来的位域应该设置在下一个原子实体（char）上。

- Ben Combee · Answer 9

C99风格的可变参数宏，又称

#define ERR(name, fmt, ...)   fprintf(stderr, "ERROR " #name ": " fmt "\n", \
                                  __VAR_ARGS__)

这将会像这样使用

ERR(errCantOpen, "File %s cannot be opened", filename);

在这里，我还使用了字符串化操作符和字符串常量连接，其他功能我也非常喜欢。

- Denton Gentry · Answer 10

变量大小的自动变量在某些情况下也很有用。这些特性被添加到C99中，并且在gcc中已经得到了长期支持。

void foo(uint32_t extraPadding) {
    uint8_t commBuffer[sizeof(myProtocol_t) + extraPadding];

你最终会在堆栈上得到一个缓冲区，其中包含可变大小数据的固定大小协议头。使用alloca()可以达到相同的效果，但这种语法更加紧凑。

在调用此例程之前，您必须确保extraPadding是合理的值，否则您将爆掉堆栈。在调用malloc或任何其他内存分配技术之前，您必须对参数进行检查，因此这并不是非常不寻常的事情。