Question

我可以通过执行以下操作从foreach循环中获取索引号。

undefined

如果我的数组是关联的，那么在我的循环中获取关联名而不是索引号？

Answer 1

<?
$rows = array();
$rows['hi'] = 'there';
$rows['foo'] = 'bar';
foreach ($rows as $index=>$row)
{
    echo $index.": ".$row;
    // $index will be hi and foo
}
?>

PHP数组是关联的，其中常规数组只有整数作为键。

PHP文档实际上在第一句中提到了：http://php.net/manual/en/language.types.array.php

An array in PHP is actually an ordered map.。 PHP没有数组，它有地图/字典，称为数组，但它们不像其他语言那样是数组。

Answer 2

实际上你已经做到了：

plusEven′ : ∀ n m → Even′ n → Even′ m → Even′ (n + m)
plusEven′ n m (mkEven′ p Hp) (mkEven′ q Hq) = mkEven′ (p + q) eq where

  .eq : n + m ≡ (p + q) * 2
  eq = begin
         n + m          ≡⟨ cong₂ _+_ Hp Hq ⟩
         p * 2 + q * 2  ≡⟨ sym (distribʳ-*-+ 2 p q) ⟩
         (p + q) * 2
       ∎

plusEven : ∀ n m → Even n → Even m → Even (n + m)
plusEven n m en em = Even′⇒Even (plusEven′ n m (Even⇒Even′ en) (Even⇒Even′ em))

PHP：在foreach循环中关联数组索引名称

2 个答案: