《C和指针》核心要点精讲：从语法陷阱到内存管理的实战笔记

预处理与基本语法

在预处理指令方面，作者建议使用 #if 0 ... #endif 来注释掉大块代码，这比使用 /* */ 多行注释更安全，因为前者可以嵌套，而后者不能。

需要警惕的是三字母词（Trigraphs）。三字母词通过两个问号加一个特定符号来表示另一个字符，编译器在处理时会将它们转换为对应的字符。虽然在现代编程中较少遇到，但了解其存在有助于防止字符串常量被错误解释。

??( ==> [   ??< ==> {    ??= ==> #
??) ==> ]   ??> ==> }    ??/ ==> \
??! ==> |   ??' ==> ^     ??- ==> ~

数据连接属性与存储类型

理解 static 关键字在不同作用域下的行为至关重要：

• 外部变量或函数：当用于函数定义或代码块之外的声明时，static 修改的是标识符的连接属性，将其从 external 变为 internal。这意味着该变量或函数只能在当前源文件中访问，其他文件无法链接到它，但其作用域仍为文件级。
• 内部变量：当用于代码块内部的变量声明时，static 修改的是变量的存储类型，使其从自动变量变为静态变量。这类变量在程序启动时创建，在程序结束前一直存在，而不是随代码块的进入和退出反复创建销毁。

操作符优化与陷阱

第1步：识别未定义行为与效率差异

在编写表达式时，需特别注意以下细节以提升代码健壮性和性能：

移位操作的未定义性：当移动的位数为负值时（如 a << -5），结果依赖于编译器实现，通常被视为未定义行为，可能导致不可预测的错误（如左移27位）。

复合赋值提高效率：形如 a += 1 的操作通常比 a = a + 1 更高效。特别是在数组下标复杂的场景中，使用复合赋值可以避免重复计算下标：

// 低效：下标表达式计算了两次
a[ 2 * (y - 6*f(x)) ] = a[ 2 * (y- 6*f(x))] + 1;

// 高效：下标只计算一次
a[ 2 * (y- 6*f(x))] += 1;

Sizof 特性：sizeof x 是合法的写法。更重要的是，sizeof 不对表达式求值，因此 sizeof(a=b+1) 不会执行赋值操作，a 的值保持不变。

指针与函数的安全策略

第2步：规避野指针与返回值歧义

野指针风险：未初始化的指针极其危险。例如 int *a; 后直接写 *a = 12; 会导致修改不可预知内存地址的内容，引发崩溃或未定义行为。

搜索函数的返回值设计：虽然返回 NULL 表示未找到元素是C语言的常见做法，但这违反了软件工程原则——用一个值表示两种状态（成功/失败）容易出错。更安全的策略是返回两个值：一个表示状态（如布尔值或错误码），另一个指向查找到的元素。

第3步：正确声明递归与可变参数

递归与迭代的选择：递归使复杂逻辑清晰，但在斐波那契数列（Fibonacci）等冗余计算严重的场景下，开销巨大。此时应优先使用迭代：

long fibonacci(int n)
{
    long result;
    long previous_result;
    long next_older_result;

    result = previous_result = 1;
    while( n > 2) {
        n -= 1;
        next_older_result = previous_result;
        previous_result = result;
        result = previous_result + next_older_result;
    }
    return result;
}

函数原型规范：无参数函数必须显式声明 void，如 int func(void);，以区别于旧式风格声明，避免参数传递的歧义。

可变参数列表处理：使用 stdarg.h 中的 va_list、va_start、va_arg 和 va_end。注意可变参数宏无法检测参数数量和类型，且存在默认参数类型提升问题。解决之道是在可变参数列表中保留至少一个命名参数，以便确定参数个数或类型上下文。

#include <stdarg.h>

float average( int n_values, ... )
{
    va_list var_arg;
    int count;
    float sum = 0;

    /* 初始化 va_list，指向第一个可变参数 */
    va_start( var_arg, n_values);

    /* 遍历并累加 */
    for (count = 0; count < n_values; count += 1) {
        sum += va_arg( var_arg, int);
    }

    /* 清理 */
    va_end(var_arg);
    return sum/n_values;
}

数组与多维数组指针解析

指针与数组的下标等价性：若 int array[10]; 且 int *ap = array + 2;，则 ap[0] 等同于 array[2]，ap[-1] 等同于 array[1]。

循环优化：使用指针递增遍历数组比使用下标访问更高效，因为指针加法仅涉及简单的地址偏移，而下标每次都需要进行乘法运算（索引 × 元素大小）。

/* 使用指针的高效写法 */
int array[10], *ap;
for ( ap = array ; ap < array + 10; ap ++ )
    *ap = 0;

大数组初始化优化：对于大型局部数组，每次进入函数都重新初始化开销较大。如果数组内容在整个程序生命周期内变化不大，可考虑将其声明为 static，仅在首次运行时初始化。

多维数组指针声明规则：

• int (*p)[10] = matrix;：正确。指针指向一个含有10个整数的数组，适用于逐行访问。
• int *pi = matrix[0]; 或 &matrix[0][0]：正确。指向第一个元素，可用于逐个元素访问。
• int *mp = matrix;：错误。matrix 不是指向整型的指针，而是指向整型数组的指针。
• int (*p)[] = matrix;：错误。空括号长度未指定，编译行为不确定。

注：多维数组初始化时，只有第一维的大小可以省略，由编译器自动推算，其余维度必须明确指定。

字符串与输入输出陷阱

第4步：防御性编程实践

无符号数比较陷阱：strlen 返回无符号整数。表达式 if(strlen(x) - strlen(y) >= 0) 永远为真，因为无符号数的减法结果永远不会小于零。正确的写法应是 if(strlen(x) >= strlen(y)) 或进行强制类型转换。

strtok 的状态保持：strtok 内部保存了处理状态，因此不能同时解析两个不同的字符串。如需并行解析，需维护各自的指针副本或使用其他解析方法。

非字符串数据的处理：标准字符串函数遇 NUL 字节停止。若需处理包含 NUL 的二进制数据，应使用 memcpy、memset 等内存操作函数。

I/O 函数细节：

• gets 不检查缓冲区长度，极易导致溢出，绝对不应使用；推荐使用 fgets。
• ungetc 可将字符退回流中，但若随后调用了 fseek 或 rewind，退回的字符将被丢弃。
• 状态检查：feof 检测文件尾，ferror 检测错误，clearerr 清除错误标志。
• freopen 用于重定向文件或流，tmpfile 创建临时文件并在程序结束时自动删除。

高级话题与总结

在结构体传参时，传递指针比传值更高效，且可通过 const 限定保护数据不被意外修改。若对同一结构成员的访问超过3次，可考虑将成员声明为寄存器变量以优化性能。

对于头文件的多重包含保护，标准做法是使用条件编译：

#ifndef _HEADRNAME_H
#define _HEADRNAME_H 1
/* header content */
#endif

最后，volatile 关键字用于告知编译器该变量可能被外部因素（如多线程、硬件寄存器）异步修改，禁止编译器对其进行激进优化。

以上就是《C和指针》核心知识点的详细内容，更多关于C语言进阶学习的资料请关注本站其它相关文章！