Heim > Artikel > Backend-Entwicklung > Warum sind Standardvorlagenargumente nur für Klassenvorlagen in C zulässig?
F: Warum sind Standardvorlagenargumente nur für Klassenvorlagen zulässig? Warum nicht auch für Member-Funktionsvorlagen?
Beispiel:
<code class="cpp">struct my_class { template<class T = int> void mymember(T* vec) { // ... } };</code>
Laut C sind Standardvorlagenargumente nur für Klassenvorlagen gültig.
A: Standardvorlagenargumente sind in der Tat nützlich. Stellen Sie sich eine Sortierfunktion vor:
<code class="cpp">template<typename Iterator, typename Comp = std::less< typename std::iterator_traits<Iterator>::value_type>> void sort(Iterator beg, Iterator end, Comp c = Comp()) { ... }</code>
Der Grund für die aktuelle Einschränkung in C liegt jedoch in den Anfängen der Sprache, als freistehende Funktionen als weniger wichtig galten. Folglich mussten sie alle Vorlagenargumente aus Funktionsargumenten ableiten, was die Verwendung von Standardwerten ausschloss.
Diese Einschränkung beeinträchtigt die Flexibilität des Codes und die Kompatibilität mit Mitgliedsfunktionsvorlagen. Um dies zu beheben, führte C 0x Standardvorlagenargumente für Funktionsvorlagen ein.
Wie Bjarne Stroustrup, der Erfinder von C, in einem Fehlerbericht feststellte:
„Das Verbot von Standardvorlagen.“ Argumente für Funktionsvorlagen sind ein fehlgeleitetes Überbleibsel aus der Zeit, als freistehende Funktionen als Bürger zweiter Klasse behandelt wurden und verlangten, dass alle Vorlagenargumente aus den Funktionsargumenten abgeleitet und nicht spezifiziert werden mussten.“
„Die Einschränkung schränkt den Programmierstil erheblich ein.“ indem freistehende Funktionen unnötigerweise von Mitgliedsfunktionen unterschieden werden, wodurch es schwieriger wird, Code im STL-Stil zu schreiben.“
Das obige ist der detaillierte Inhalt vonWarum sind Standardvorlagenargumente nur für Klassenvorlagen in C zulässig?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!