如何在调用函数时按名称引用局部变量？解决作用域失效问题

问题背景 #

将test函数中遍历变量组装数组的逻辑提取为独立KV函数后，由于PHP的函数作用域隔离机制，KV无法访问调用者（如test1）作用域内的变量，导致返回的数组值全为NULL，但保留函数封装的需求仍需满足。

原代码示例 #

function test()
{
    $a = 'aaa';
    $b = 'bbb';
    $c = 'ccc';
    $A = ['a', 'b', 'c'];
    foreach ($A as $_a) $r[$_a] = $$_a;
    var_dump($r); // 输出: ['a'=>'aaa','b'=>'bbb','c'=>'ccc']
}

function KV($A)
{
    foreach ($A as $_a) $r[$_a] = $$_a;
    return $r;
}

function test1()
{
    $a = 'aaa';
    $b = 'bbb';
    $c = 'ccc';
    $A = ['a', 'b', 'c'];
    $r = KV($A);
    var_dump($r); // 输出: ['a'=>NULL,'b'=>NULL,'c'=>NULL]
}

可行解决方案 #

1. 传递当前作用域变量数组 #

通过get_defined_vars()获取调用者的所有变量，传递给KV函数，让函数在这个变量集合中取值：

function KV($A, $scopeVars)
{
    $result = [];
    foreach ($A as $_a) {
        $result[$_a] = $scopeVars[$_a] ?? null;
    }
    return $result;
}

function test1()
{
    $a = 'aaa';
    $b = 'bbb';
    $c = 'ccc';
    $A = ['a', 'b', 'c'];
    $r = KV($A, get_defined_vars());
    var_dump($r); // 输出正确结果
}

2. 使用闭包继承父作用域 #

利用闭包的use特性，让闭包函数直接继承调用者的作用域，无需额外传递变量：

function makeKV()
{
    return function($A) {
        $result = [];
        foreach ($A as $_a) {
            $result[$_a] = $$_a;
        }
        return $result;
    };
}

function test1()
{
    $a = 'aaa';
    $b = 'bbb';
    $c = 'ccc';
    $A = ['a', 'b', 'c'];
    $kv = makeKV();
    $r = $kv($A);
    var_dump($r); // 输出正确结果
}

3. 实现目标KVextended函数 #

针对你提出的简化代码需求，实现支持必填变量和可选变量（?前缀）的版本，以下是闭包版实现（无需手动传递作用域变量）：

function makeKVextended()
{
    return function($str) {
        $items = explode(',', trim($str));
        $result = [];
        
        foreach ($items as $item) {
            $isOptional = str_starts_with($item, '?');
            $varName = $isOptional ? substr($item, 1) : $item;
            
            if ($isOptional) {
                // 可选变量：仅当变量存在且非空时添加
                if (isset($$varName) && !empty($$varName)) {
                    $result[$varName] = $$varName;
                }
            } else {
                // 必填变量：直接取值，不存在则为null
                $result[$varName] = $$varName ?? null;
            }
        }
        
        return $result;
    };
}

// 调用示例
function testInvoice()
{
    $series = 'INV-SER-001';
    $aa = 'AA-2024';
    $issueDate = '2024-05-20';
    $invoiceType = 'VAT';
    $vatPaymentSuspension = false;
    $currency = 'EUR';
    $exchangeRate = 7.8;
    $correlatedInvoices = ['INV-001', 'INV-002'];
    // $selfPricing = null; 不定义此变量
    
    $kvExtended = makeKVextended();
    $r = $kvExtended('series,aa,issueDate,invoiceType,vatPaymentSuspension,currency,exchangeRate,?correlatedInvoices,?selfPricing');
    var_dump($r);
    // 输出包含所有必填项和correlatedInvoices，不包含selfPricing
}

内容的提问来源于stack exchange，提问作者George Kourtis