Est-ce que \'Timer()\' est une fonction ou un objet ? Comprendre 'l'analyse la plus fastidieuse' en C 11.

Confusion d'analyse la plus vexante : clarifier l'ambiguïté

En C 11, les initialiseurs uniformes introduisent une ambiguïté subtile connue sous le nom de « analyse la plus vexante ». Examinons un exemple qui illustre ce problème :

<code class="cpp">#include <iostream>

class Timer {
public:
    Timer() {}
};

int main() {
    auto dv = Timer(); // What is Timer() ? And what type is dv?
    int time_keeper(Timer()); // This is a function right? And why isn't the argument " Timer (*) ()"?
    return 0;
}</code>

Analyse :

Dans la première ligne :

<code class="cpp">auto dv = Timer();</code>

• Qu'est-ce que Timer() ? Timer() est un constructeur de la classe Timer qui ne prend aucun argument. Il initialise un objet de type Timer.
• Quel type est dv ? dv est déclaré en utilisant auto, qui déduit son type de l'initialiseur. Puisque l'initialiseur est de type Timer, dv est de type Timer.

Dans la deuxième ligne :

<code class="cpp">int time_keeper(Timer());</code>

• Est-ce une fonction ? Oui, c'est une déclaration de fonction. Il déclare une fonction appelée time_keeper qui renvoie un int et prend un argument.
• Pourquoi l'argument "Timer () ()" ? Il s'agit d'un cas particulier de l'ambiguïté de « l'analyse la plus vexante ». Lorsqu'une fonction est passée en argument à une autre fonction, elle se désintègre automatiquement en un pointeur vers la fonction. Donc, dans ce cas, l'argument n'est pas Timer () (), mais plutôt Timer().

Pour le prouver, considérons le programme suivant :

<code class="cpp">#include <type_traits>

struct Timer { };
int main() {
    int time_keeper(Timer());
    static_assert(
        std::is_same<
            decltype(time_keeper),
            int(Timer(*)())
        >::value,
        "This should not fire!");
}</code>

Ce programme se compile avec succès, confirmant que time_keeper prend un pointeur vers une fonction comme argument.

En conclusion, la confusion de "l'analyse la plus frustrante" vient du fait que l'expression Timer() peut être interprétée comme soit un objet de type Timer, soit un pointeur de fonction vers une fonction qui renvoie un Timer. L'interprétation correcte dépend du contexte dans lequel l'expression est utilisée.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!