C++ - valeur renvoyée par std::cin

J’apprends que std::cin renvoie une valeur qui peut être traitée par un if (ou autres itérateurs)

std::cin ne renvoi rien, c’est une variable. Et si elle est externe, se sont pour des raisons liées au variable globale.

Ce qui renvoi quelque chose est la fonction operator>>, qui va retourner le flux. Donc une référence vers std::cin pour std::cin >> age. Par conséquent

if (std::cin >> age) {
  ...
}

est équivalent à

std::cin >> age;
if (std::cin) {
  ...
}

Et si le if compile, c’est grâce à l’opérateur de conversion vers un bool qui est une écriture plus courte pour if (!std::cin.fail()).

(grillé)

std::cin n’est pas une fonction, c’est un objet de type std::istream. Il ne renvoie rien, il représente simplement l’entrée standard du programme. Ce qui renvoie une valeur, c’est l’opérateur >> appelé sur cet objet. Et ce qui est renvoyé, c’est simplement std::cin lui-même. Pourquoi ? Pour pouvoir appeler cet opérateur en chaine. Exemple :

std::cin >> a >> b;

// équivalent à
(std::cin >> a) >> b; // l'expression entre parenthèse renvoie std::cin

// équivalent à
std::cin >> a;
std::cin >> b;

Pour répondre à tes autres questions:

1. Tu ne peux pas stocker ce que renvoie cet opérateur dans une variable, parce que la construction par copie et l’opérateur = sont interdits (ce sont des deleted functions). En effet, les flux d’entrée ne sont pas des objets copiables entre eux (cf. sémantique d’entité).
2. La raison pour laquelle tu peux tester l’expression std::cin >> a dans un if est la suivante. Un if ne peut tester que des valeurs numériques (bool compris). Si if reçoit un autre type d’objet, il essaie de le convertir implicitement dans un type adéquat. En l’occurrence, le type std::istream est convertissable en bool. La valeur retournée par cet opérateur est false si une erreur est survenu sur le flux, sinon true.

Ça compile bien si tu initialise ta variable avec des accolades :

bool success { std::cin >> a };
if (success)
    // ...

Ça fait peut-être beaucoup d’information pour quelqu’un qui débute. N’hésite pas à poser d’autres questions si tu as besoin de précisions.

Petit conseil : quand tu définis une variable dont le type dépend directement du retour d’une fonction (ou d’une expression), utilise le mot clé auto.

On peut dire que " std::cin » a " est une façon courte d’écrire en tirant un peu par les cheveux "std::cin » (std::cin, a) " ?

Plutôt operator»(std::cin, a)

Qui est un code tout à fait valide.

@Olybri : sur le point 1 tu m’as perdu. Mais je garde ça dans un coin de ma tête je suis sûr que ça va me servir quand j’aurais plus avancé dans le cours.

Ce sont des restrictions associées au type. Certaine classe empêche la copie et l’expression std::istream mycin = std::cin n’est pas permise, seul une référence pourra être utilisé std::istream& mycin = std::cin.

Du coup est-ce qu’on peut dire que « int » est une fonction qui prend un ou plusieurs arguments sans type et qui réserve une quantité de mémoire ?

On peut l’utiliser « comme » une fonction (foo(int(x))), mais la comparaison s’arrête là. Les fonctions et les types sont 2 choses complètement différente, l’une à une valeur (une fonction à une adresse mémoire) et l’autre est un type. Une valeur à forcement un type (du genre pointeur de fonction pour une fonction) et un type sert à définir les restrictions d’une valeur, ils n’ont plus d’existence dans le programme compilé.

Au passage, la forme int(x) est la même que pour construire n’importe quel objet, on peut faire int{x} ou l’associé à une variable int age {x};. Dans tous les cas, c’est une conversion/construction (ou une copie) de x vers le type int.

Si le « int » ne peut pas avoir la quantité de mémoire demandée. Est-ce qu’il renvoie une erreur ?

Ce n’est pas lui qui renvoi une erreur, mais l’OS suite à un dépassement de la pile d’exécution. Et c’est généralement fatal.