Warum werden diese Snippets von GCC anders behandelt?

Der erste Schnipsel kompiliert ohne Warnungen (live example):Warum werden diese Snippets von GCC anders behandelt?

constexpr operator int() { return i; }

GCC warnt, dass b a VLA ist:

#include <iostream> 

struct A { 
    constexpr A(): i(5){} 
    constexpr operator int() { return 5; } 
    int i; 
}; 

int main() { 
    A a; 
    int b[a]{ 0, 1, 2, 3, 4 }; 
    std::cout << b[4] << '\n'; 
}

nun durch Rücksendung i in dem Umwandlungsoperator (live example) Die oben Schnipsel verändern .

Für mich scheinen beide Varianten dem Absatz §5.19 [expr.const]/3 in C++ 14 zu entsprechen.

Quelle

2015-12-21 Ayrosa

Sie die Durchführung einer ltr Umwandlung auf i, aber für [expr.const]/(2.7) hier nicht verletzt werden, (2.7.3) anwendbar sein,

^{(2.7.1) betrifft vollständige Objekte, (2.7.2) spricht über String-Literale und (2.7.4) handelt von Objekten, deren Lebensdauer bei der Auswertung des Ausdrucks anfing - nicht anwendbar, da a der Deklaration b vorangestellt ist.}

Definieren Sie a als constexpr und der Code ist konform.

Ein kleiner Nachtrag zu klären, was die Standard-sagt: Der Ausdruck in den Klammern ein umgebauter konstanter Ausdruck muss Typen std::size_t ([dcl.array]/1), die in [expr.const]/4 als

A umgewandelt definiert ist Konstanter Ausdruck vom TypT ist ein Ausdruck, der implizit in den Typ T konvertiert wird, wobei der konvertierte Ausdruck ein konstanter Ausdruck und [... Anforderungen, die erfüllt sind ...]

So wirklich, ist der Standard interessiert, ob oder nicht

constexpr std::size_t s = a;

gültig wäre. Was es aus den oben genannten Gründen nicht ist, ein Unterobjekt eines zuvor definierten Objekts zu verwenden.

Quelle

2015-12-21 14:00:57 Columbo

Warum muss 'a' in diesem Fall eine Lvalue-to-rvalue-Konvertierung durchlaufen? Ich frage das, weil die Definition eines "konvertierten konstanten Ausdrucks" in §5.19/3 (N4140) anscheinend keine solche Umwandlung von "a" in der Deklaration "int b [a] {0, 1" erfordert , 2, 3, 4}; '. – Ayrosa

@Ayrosa Nun, 'a' muss sich nie einem unterziehen, aber der Konvertierungsoperator muss aufgerufen werden, um ihn in' std :: size_t' umzuwandeln. ('a' ist ein konvertierter konstanter Ausdruck vom Typ' std :: size_t' innerhalb der Klammern) – Columbo

Es hat eine Weile gedauert, bis ich wirklich begriff, was Sie in Ihrer Antwort gesagt und hervorgehoben haben.Auf jeden Fall ist es keine leichte Aufgabe, den Standard vollständig zu verstehen. Große Antwort (+1). – Ayrosa

Die Array-Größe muss eine Kompilierzeitkonstante sein, aber im zweiten Beispiel erfolgt die Initialisierung von A::i erst ab Laufzeit.

Quelle

2015-12-21 14:00:41

'A :: A()' ist 'constexpr' obwohl ... – YSC

@YSC Ja, aber die Variable' a' in der 'main' Funktion ist nicht. –

Und * das * ist die echte Warnquelle, oder? – YSC

Warum werden diese Snippets von GCC anders behandelt?

Antwort

Verwandte Themen