3
Ne devrait pas std::invoke être constexpr en particulier après constexpr lambdas in C++17?Pourquoi `std :: invoke` n'est-il pas constexpr?
Y a-t-il des obstacles qui l'empêcheront?
A
Répondre
7
De the proposal:
Bien qu'il y ait possibilité de mettre en œuvre modèle de fonction standard Invoke conformateur en fonction de constexpr, le libellé proposé ne nécessite pas une telle mise en œuvre. La raison principale est de le laisser cohérent avec les objets de fonction standard existants, qui pourraient avoir une telle définition, comme std :: mem_fn, std :: reference_wrapper et les wrappers d'opérateur. De plus, imposer une telle exigence bloquera l'implémentation de invoke qui fait référence à std :: mem_fn.
Cette proposition suppose que l'ajout constexpr à l'en-tête serait appliqué de manière cohérente par une proposition distincte.
L'implémentation basée sur la bibliothèque standard et constexpr est présentée dans la section Implémentabilité de la proposition.
question CWG connexes # 1581: When are constexpr member functions defined?.