Des exceptions doivent-elles être levées par les constructeurs en C ?

Lancement d'exceptions à partir des constructeurs : une discussion détaillée

Lorsqu'il s'agit de l'initialisation d'objets en C, la question de l'utilisation des exceptions au sein des constructeurs se pose. Pour fournir un examen approfondi de ce sujet, nous allons approfondir un scénario réel impliquant l'utilisation d'une classe wrapper mutex.

Problème :

Dans un tenter de fournir une interface sécurisée autour d'un mutex POSIX, un programmeur conçoit la classe suivante :

class Mutex {
public:
  Mutex() {
    if (pthread_mutex_init(&mutex_, 0) != 0) {
      throw MutexInitException();
    }
  }
  ...
};

Question :

Cette approche de conception est-elle appropriée, compte tenu des implications de lever des exceptions de la part des constructeurs ?

Réponse :

La réponse est un oui catégorique. Lancer une exception à partir d'un constructeur qui rencontre des échecs est considéré comme une pratique standard en programmation orientée objet. Selon les « FAQ exceptionnelles en C », si une classe « ne peut pas entrer dans un état valide pendant la construction, le constructeur doit lever une exception ».

L'utilisation d'exceptions dans ce contexte garantit qu'un objet non valide n'est pas créé, ce qui atténue les risques associés au recours à un mutex défectueux.

Approche alternative :

Une solution alternative, moins préférée mais toujours viable, serait de créer un init( ) fonction membre au sein de la classe Mutex, qui effectuerait ensuite l'initialisation nécessaire. Cette approche introduit la mise en garde selon laquelle chaque code client utilisant le mutex doit appeler explicitement init() avant d'utiliser l'objet.

Avantages de la levée d'exceptions des constructeurs :

Le principal L'avantage de lever des exceptions auprès des constructeurs est que cela renforce la sécurité en empêchant la création d'objets non valides lors de l'initialisation. Il s'aligne également sur le principe RAII (Resource Acquisition Is Initialization), qui, selon ses partisans, s'aligne bien avec la programmation basée sur les exceptions.

Conclusion :

Bien que des débats d'opinion puissent exister concernant l'utilisation des exceptions dans les constructeurs, le consensus parmi les experts est clair : lancer des exceptions des constructeurs est une approche acceptable pour garantir l'intégrité et la validité d'un objet lors de l'initialisation.

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!