Pourquoi les constructeurs ne renvoient-ils pas de valeurs ?

Question

Veuillez me dire pourquoi le constructeur ne renvoie aucune valeur. Je veux une raison technique parfaite pour expliquer à mes étudiants pourquoi le constructeur n'a pas de type de retour.

Answer 1

Ce qui se passe en fait avec le constructeur, c'est que le runtime utilise les données de type générées par le compilateur pour déterminer l'espace nécessaire pour stocker une instance d'objet en mémoire, que ce soit sur la pile ou sur le tas.

Cet espace comprend toutes les variables des membres et la vtbl. Une fois cet espace alloué, le constructeur est appelé en tant que partie interne du processus d'instanciation et d'initialisation pour initialiser le contenu des champs.

Ensuite, lorsque le constructeur se termine, le runtime renvoie l'instance nouvellement créée. La raison pour laquelle le constructeur ne renvoie pas de valeur est qu'il n'est pas appelé directement par votre code, mais par le code d'allocation de la mémoire et d'initialisation de l'objet dans le runtime.

Sa valeur de retour (si elle en a une lorsqu'elle est compilée en code machine) est opaque pour l'utilisateur - vous ne pouvez donc pas la spécifier.

Answer 2

Eh bien, d'une certaine manière, il renvoie l'instance qui vient d'être construite.

Vous pouvez même l'appeler comme ça, par exemple en Java.

 Object o = new Something();

ce qui ressemble à l'appel d'une méthode "normale" avec une valeur de retour.

 Object o = someMethod();

Answer 3

(J'ai un parti pris pour le C++, donc concernant les autres langages, prenez cela avec un grain de sel).

Réponse courte : Vous ne voulez pas avoir à vérifier explicitement le succès de chaque construction d'objet dans votre code.

Réponse un peu plus longue : En C++, les constructeurs sont appelés pour les objets alloués dynamiquement ainsi que pour les objets alloués globalement et automatiquement. Dans ce code

void f()
{
  std::string s;
}

il n'y a aucun moyen pour le constructeur de s ( std::string::string() ) pour retourner une valeur quelconque. Soit il réussit - nous pouvons alors utiliser l'objet, soit il lève une exception - nous n'aurons jamais la chance d'essayer de l'utiliser.

IMO, c'est comme ça que ça devrait être.

Answer 4

Comment un constructeur est-il censé renvoyer une valeur de retour ? Le site new renvoie l'instance nouvellement créée. Vous n'appelez pas un ctor, new le fait.

MyClass instance = new MyClass();

Si le ctor devait retourner une valeur, comme ceci :

public int MyClass()
{
    return 42;
}

Où recevriez-vous l'entier ?

Answer 5

Lorsque vous appelez un constructeur, la valeur de retour est le nouvel objet :

Point pt = new Point(1,2);

Mais dans le constructeur lui-même, vous ne créez et ne retournez pas réellement l'objet ; il a été créé avant que votre code ne commence, vous ne faites que définir les valeurs initiales.

Point::Point(int x, int y) {
  this->x = x;
  this->y = y;
}

L'absence de type de retour reflète le fait que les constructeurs sont utilisés différemment des autres fonctions. Un type de retour de null bien que techniquement exact, ne reflète pas bien le fait que le code soit utilisé comme s'il retournait un objet. Cependant, tout autre type de retour indiquerait que votre code est censé return quelque chose à la fin, ce qui est également incorrect.