Pourquoi appeler une fonction constexpr avec un tableau de membres n'est pas une expression constante ?

Question

J'ai la fonction d'aide suivante :

template<typename T, std::size_t N>
constexpr std::size_t Length(const T(&)[N]) {
    return N;
}

Qui renvoie la longueur d'un tableau statique. Dans le passé, cela a toujours fonctionné, mais lorsque je fais ceci :

struct Foo
{
    unsigned int temp1[3];
    void Bar()
    {
        constexpr std::size_t t = Length(temp1); // Error here
    }
};

Je reçois une erreur lorsque j'utilise MSVS 2017 :

error C2131: expression did not evaluate to a constant

note: failure was caused by a read of a variable outside its lifetime

note: see usage of 'this'

J'espérais que quelqu'un pourrait m'éclairer sur ce que je fais mal.

Answer 1

MSVC est correct. Length(temp1) n'est pas une expression constante. De [expr.const]p2

Une expression e est une expression constante de base, sauf si l'évaluation de e en suivant les règles de la machine abstraite, évaluerait l'une des expressions suivantes :

• this sauf dans une fonction constexpr ou un constructeur constexpr qui est évalué dans le cadre d'un processus d'évaluation. e ;

temp1 évalue this implicitement (parce que vous faites référence à this->temp1 ), et donc vous n'avez pas d'expression constante. gcc et clang l'acceptent car ils supportent les VLA comme une extension (essayez de compiler avec -Werror=vla o -pedantic-errors ).

Pourquoi n'est-ce pas autorisé ? Eh bien, vous pourriez accéder aux éléments sous-jacents et potentiellement les modifier. C'est tout à fait acceptable si vous avez affaire à un fichier constexpr ou un tableau qui est évalué comme une expression constante, mais si ce n'est pas le cas, vous ne pouvez pas avoir d'expression constante car vous manipulez des valeurs qui sont définies au moment de l'exécution.

Answer 2

Length(decltype(temp1){})

semble fonctionner .

Malheureusement, je ne peux pas faire de commentaires, mais la solution de Mehrdad est fausse. La raison : ce n'est pas techniquement comportement indéfini mais il es comportement non défini. Pendant l'évaluation de constexpr, le compilateur doit attraper le comportement non défini. Par conséquent, le code est mal formé .

Answer 3

La réponse à votre question a déjà été donnée, mais pour ce qui est de la façon de "réparer" le problème, une méthode rapide et simple consiste à remplacer les éléments suivants

Length(temp1)

avec

Length(*(true ? NULL : &temp1))

ce qui, je pense, est techniquement comportement non défini mais qui va pratiquement fonctionner correctement pour MSVC.

Si vous avez besoin d'une solution qui fonctionne malgré l'UB, vous pouvez modifier Length pour utiliser un pointeur :

template<typename T, std::size_t N>
constexpr std::size_t Length(const T(*)[N]) {
    return N;
}

et ensuite vous pouvez utiliser Length(true ? NULL : &temp1) .