PHP中坑人不偿命的作用域

一. 变量定义 

<?php
    function foo() {
        return 1;
    }
    if(!$a = foo()) print 'x';

等价于:

<?php
    function foo() {
        return 1;
    }
    $a = foo();
    if(!$a) print 'x';


二. 全局和局部
PHP里面只有全局作用域和函数作用域,没有块作用域例如,循环语句内定义的变量,其作用域认为是外部的,即循环体结束时依然有效

<?php
$a = 1;
for($j=1; $j<5; $j++) {
    $a = $a + $j;
}

echo $a . PHP_EOL; //打印出6
echo $j . PHP_EOL; //打印出5

--------------------------------------------
如果在函数中将变量设置为global,则表示接下来该变量改为取全局的那个

<?php
$a = 1;
function F() {
    $a = 2;       //局部变量屏蔽全局变量    
    echo "$a"; //使用本函数内的局部变量$a
    echo PHP_EOL;
    global $a; //接下来都是使用全局变量$a
    echo "$a"; 
}
F();

使用global关键字

<?php
$x = 10;
$y = 20;
function test() {
    global $x,$y; //表示使用全局变量$x和$y
    $y = $x + $y;
}
test();
echo $y; //输出30

-----------------------------------

<?php
 $var = 1;
 function foo() {
     global $var;
     unset($var);               // unset local $a, the global $a is still there.
     //var_dump($var);            // Undefined variable: var
     var_dump($GLOBALS['var']); 
}
foo();
var_dump($var);

将上面那个和这下面这个代码进行对比:

<?php
 $var = 1;
 function bar() {
     global $var;
     unset($GLOBALS['var']);    // 解除全局的$a, 局部的$a依然在
     var_dump($var);            
     //var_dump($GLOBALS['var']); // Undefined index: var
}
foo();
//var_dump($var);                // Undefined variable: var

 'unset($var);'类似于C语言中 'var = NULL;'(假设var是个指针变量), 不同于 'free(var);' 

-------------------------------------

<?php
function F() {
    $a = 0;
    $b = 1;
    $GLOBALS['a'] = &$b; // 注意点(1)方括号内是'a',写成"a"或'$a'都会报错 (2)$b前面有&符号
    echo "$a" . PHP_EOL;
    echo "$GLOBALS[a]" . PHP_EOL; //相当于输出$b
    $b = 2;
    echo "$GLOBALS[a]" . PHP_EOL; //相当于输出$b
}
F();
echo "$a" . PHP_EOL;  //在之前曾经定义了超级全局变量$GLOBALS['a']

GLOBALS['variable'] 和 global关键字 的作用是不一样的

<?php
function F() {
    $GLOBALS['a'] = 1; //改为"global $a = 1;"就会报错,因为函数外并没有定义$a
}
F();
echo "$a" . PHP_EOL;  //因为F()函数中定义了$GLOBALS['a']

三. 静态变量
基类实例共享的静态成员变量,与子类实例共享的静态成员变量,两者互不影响

<?php
class Base {
    function test($delta = 0) {
        static $v = 0;
        $v += $delta;
        return $v;
    }
}

class Derived extends Base {}

$base1 = new Base();
$base2 = new Base();
$derived1 = new Derived();
$derived2 = new Derived();

$base1->test(3);
$base2->test(4);
$derived1->test(5);
$derived2->test(6);

var_dump([ $base1->test(), $base2->test(), $derived1->test(), $derived2->test() ]);

结果是 array(4) { [0]=> int(7) [1]=> int(7) [2]=> int(11) [3]=> int(11) }

基类 $base1和$base2共享同一个静态变量$v,子类 derived1和$derived2 共享另外的同一个静态变量 $v 
----------------------------------------------
在一个函数中如果多次声明静态变量,以最后一次为准

<?php 
function Test(){ 
    static $count = 0;
    echo $count;
    static $count = 1;
    echo $count;
    static $count = 2; 
    echo $count; 
 }

 Test();

结果是输出三个222
------------------------------------------------------
在类的内部,const或static变量只能使用“self::”或者“类名::”访问;反之,类的成员变量未声明为const及static时,只能使用“$this”访问。在类的外部,const或static变量只能使用“类名::”访问;而对于未声明为const及static的类的成员变量,只能使用“类的实例->”来访问。

<?php
class Test_Class {
   static $a = 0;
   public function ReturnVar(){
     return $this->a;  //$this->a改为self::$a才能编译通过
   }
}

$b = new Test_Class();
echo $b->ReturnVar();

实例可以调用静态方法,但是静态方法中不可以有$this

<?php
class F {
    public static function Var() {
        echo "Var";
    }
}
$b = new F();
echo $b->Var() . PHP_EOL; //输出Var

-------------------------------------

<?php
class example {
    public static $s = 'unchanged';
    public function set() {
        $s = 'a';
        echo $this::$s; //换成$this->s则报错
        echo PHP_EOL;
        echo $s;
    }
}

$o = new example;
$o->set();

四. 文件包含
include()函数,与调用者是同一个作用域。如果在函数中使用include(),则被包含文件会把函数的作用域当作是被包含文件的全局作用域

<?php
$foo = 'aaa';
$bar = include('include.php');
echo($foo.' / '.$bar);

include.php代码: 

<?php
 $foo = 'bbb';
 return $foo;

输出结果是 bbb / bbb,而不是 aaa / bbb
-------------------------------------
// b.php

<?php
$b = "something";
function b() {
    global $b;
    $b = "something new";
}
b();
echo $b;

直接运行b.php的输出结果是"something new"。那如果运行下面的a.php,当然a.php和b.php在同一目录下。

// a.php

<?php 
function a() { 
    include("b.php"); 
}
a();

本意是想输出"something new",但实际上却是输出"something"。
把include的文件内容代入,相当于下面的代码:

<?php
function a() { 
    $b = "something";
    function b() {
        global $b;
        $b = "something new";
    }
    b();
    echo $b; 
}
a();

第5行的$b取的是整个a.php文件中的全局$b,而不是第3行定义的$b,所以并没有改变第3行的$b的值,于是第9行执行echo $b时,输出的是"something"。

解决方法,将b.php中的"$b = something;"前加入一行"global $b;",就会输出"something new"了。

使用require() 、require_once()、 include_once()的效果,跟include()的一样。
 

<think>好的,用户想了解C语言中的常见陷阱代码示例和解析。首先,我需要回忆C语言中哪些地方容易出错,尤其是那些看起来没问题但实际上有问题的代码。记得像数组越界、指针误用、运算符优先级这些常见问题。 用户提供的引用里提到了if判断中的赋值问题,比如把==写成=,这个确实很常见。我应该把这个作为第一个例子,详细说明错误原因和解决方法。引用[4]里提到过,可以提醒用户使用Yoda条件或者编译器警告来避免。 然后是数组越界的问题。比如声明数组大小为5,但访问索引5,这会导致未定义行为。可能需要举一个循环中小心越界的例子,说明如何正确控制循环条件。 接下来是未初始化的指针。很多新手会直接使用未分配内存的指针,导致程序崩溃。这里需要强调指针初始化的重要性,并给出正确使用malloc的例子,同时提醒检查返回值。 运算符优先级也是一个容易出错的地方,比如位运算和比较运算的优先级。比如if语句中同时使用&和==,可能会因为优先级问题导致逻辑错误。需要举例说明加括号的重要性。 还有字符串操作的问题,比如使用strcpy时未考虑目标缓冲区大小,导致缓冲区溢出。可以举例说明使用更安全的函数如strncpy,或者动态分配内存。 此外,switch语句中缺少break导致的case穿透也是一个常见陷阱。需要举一个例子说明加break会执行多个case的情况,提醒用户注意。 浮点数比较的问题也能忽视,比如直接使用==比较浮点数,由于精度问题可能导致错误。应该建议使用误差范围进行比较。 可能还有其他陷阱,比如宏定义中的副作用,变量作用域混淆,或者内存泄漏。但根据用户提供的引用,重点应该放在那些最常出现且容易误解的问题上。 需要确保每个例子都有错误的代码和修正后的代码,解析部分要简明扼要,指出问题所在和解决方法。同时,引用用户提供的资料,比如引用[4]中的if判断错误,引用[2]中的循环条件正确性等。 最后,生成相关问题时要涵盖代码分析工具、优化方法、学习资源等,参考用户提供的引用内容,比如引用[1]提到的静态分析工具,引用[3]的学习建议等。 现在整理结构,分成几个陷阱点,每个点包含错误示例、解析和修正。确保使用正确的中文表达,避免术语错误,并自然插入引用标注。</think>### C语言常见陷阱代码示例与解析 #### 1. 赋值运算符与比较运算符混淆 **错误示例** ```c int x = 0; if (x = 1) { // 实际是赋值操作而非比较 printf("x is 1"); } ``` **解析** 此处将比较运算符`==`误写为赋值运算符`=`,导致`x`被赋值为1,条件判断恒为真[^4]。 **修正方法** - 使用`if (x == 1)` - 采用「Yoda条件」:`if (1 == x)`(若漏写`=`,编译器会报错)。 --- #### 2. 数组越界访问 **错误示例** ```c int arr[5] = {1,2,3,4,5}; for (int i=0; i<=5; i++) { // 索引范围应为0-4 printf("%d", arr[i]); } ``` **解析** 数组大小为5时,合法索引为`0`到`4`。循环条件`i<=5`会导致访问`arr[5]`,触发未定义行为(如内存污染或程序崩溃)。 **修正方法** 修改循环条件为`i < 5`。 --- #### 3. 未初始化的指针 **错误示例** ```c int *p; *p = 10; // p未指向合法内存地址 ``` **解析** 未初始化的指针指向随机内存地址,直接写入可能破坏关键数据或引发段错误。 **修正方法** - 动态分配内存:`p = malloc(sizeof(int));` - 指向变量:`int a; p = &a;` --- #### 4. 运算符优先级问题 **错误示例** ```c if (x & 1 == 0) { // 实际解析为 x & (1==0) printf("x is even"); } ``` **解析** `==`优先级高于`&`,导致逻辑错误。实际判断的是`x & 0`(恒假)。 **修正方法** 显式加括号:`if ((x & 1) == 0)`。 --- #### 5. 字符串操作未考虑终止符 **错误示例** ```c char src[10] = "hello"; char dest[5]; strcpy(dest, src); // 目标缓冲区足 ``` **解析** `strcpy`检查目标缓冲区大小,导致缓冲区溢出。 **修正方法** - 使用`strncpy(dest, src, sizeof(dest)-1);` - 手动添加终止符:`dest[4] = '\0';` --- #### 6. switch语句缺少break **错误示例** ```c switch (x) { case 1: printf("one"); case 2: printf("two"); // 若x=1会连续输出"onetwo" } ``` **解析** `case`语句未加`break`会导致「穿透」执行后续分支。 **修正方法** 每个`case`后添加`break`(除非故意设计穿透逻辑)。 --- #### 7. 浮点数精度比较 **错误示例** ```c float a = 0.1 + 0.2; if (a == 0.3) { // 可能返回假 printf("Equal"); } ``` **解析** 浮点数计算存在精度损失,直接比较可能失败。 **修正方法** 使用误差范围: ```c if (fabs(a - 0.3) < 1e-6) { printf("Equal"); } ``` ---
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值