Différence entre un cast comme (int)$var et un intval($var) en PHP

En me posant la question qu'est-ce qui est le mieux pour forcer mes variables à avoir le type que je veux ? (int)$var ou intval($var) ?

Je suis tombé sur un article du blog hakre on wordpress ou les tests pour un cast (int)$var affichent une différence de 300% à 650% plus rapide qu'un intval().

conclusion: il faut caster !!!