Question

If I have an array $dictionary and an array $words how can I use an array ($words) to index another array ($dictionary)?

The easiest I can think is:

function dict_dispatch($word,$dictionary) {
    return $dictionary[$word];
}

$translated = array_map('dict_dispatch', $words, 
                          array_fill(0, count($words), $dictionary));

e.g.

For example:

$dictionary = array("john_the_king"=>"John-The-King", "nick_great"=>"Nick-Great-2001");
$words=array("john_the_king","nick_great");

$translated = <??>

assert($translated==array("John-The-King","Nick-Great-2001"));

Notice that $dictionary might be quite large and it would be very nice if this operation is as fast as possible (that’s why I don’t use foreach in first place)

Answer 1

It looks like my original solution is more or less the most efficient.