Warum sind redundante Vorlagenparameterlisten in C 20-Klassenvorlagenkonstruktoren jetzt verboten?

Entfernung redundanter Vorlagenparameterlisten in Klassenvorlagenkonstruktoren in C 20

In C 17 war es für Klassenvorlagenkonstruktoren akzeptabel redundante Vorlagenparameterlisten. Zum Beispiel:

template<typename T>
struct S {
    S<T>();
};

In C 20 ist dies jedoch nicht mehr der Fall. Eine aktuelle Änderung schreibt vor, dass alle Konstruktoren für Klassenvorlagen den injizierten Klassennamen verwenden müssen, wodurch Redundanz im Deklarator vermieden wird.

Diese Änderung ist im Kompatibilitätsabschnitt des C 20-Entwurfs dokumentiert:

[diff.cpp17.class]
**Affected subclauses**: [class.ctor] and [class.dtor]
**Change**: A simple-template-id is no longer valid as the declarator-id of a constructor or destructor.
**Rationale**: Remove potentially error-prone option for redundancy.
**Effect on original feature**: Valid C++ 2017 code may fail to compile in this International Standard.

Konkret muss der ID-Ausdruck im Konstruktor-Deklarator nun eine der folgenden Eigenschaften annehmen Formen:

• In einer Member-Deklaration innerhalb einer Nicht-Friend-Member-Spezifikation einer Klasse, der injizierte Klassenname der umschließenden Klasse.
• In einer Member-Deklaration innerhalb einer Non-Friend-Member-Spezifikation -Friend-Member-Spezifikation einer Klassenvorlage, wobei der Klassenname die aktuelle Instanziierung der umschließenden Klassenvorlage benennt.

Daher ist die Die korrekte Konstruktordeklaration in C 20 lautet einfach:

template<typename T>
struct S {
    S();
};

Das obige ist der detaillierte Inhalt vonWarum sind redundante Vorlagenparameterlisten in C 20-Klassenvorlagenkonstruktoren jetzt verboten?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!