Vorteile der auto-im-template-Parameter in C++17

Was sind die Vorteile auto im template-Parameter, die (möglicherweise) eingeführt werden, die mit C++17?

Ist es nur eine Natürliche Erweiterung von auto wenn ich will, zu instanziieren template-code?

auto v1 = constant<5>;      //v1 == 5, decltype(v1) is int
auto v2 = constant<true>;   //v2 == true, decltype(v2) is bool
auto v3 = constant<'a'>;    //v3 == 'a', decltype(v3) is char

Was sonst erhalte ich von dieser Sprache-Funktion?

  • Als zusätzliche Informationen zu erhalten Deklarieren von non-type template-Argumente mit auto
  • Hin und wieder sehe ich Fragen wie diese eine oder diese eine oder diese one auf StackOverflow. template < auto > machen diese askers glücklich.
  • Ich dachte die Haupt-lichtet wurde std::vector<auto> v{1,2,3,4,5}; und schwierige Dinge wie callable Typen als template-Argumente (esp lambdas).
  • Nein, das ist nicht das, was es tut. Die auto geht auf die definition, nicht der Zeitpunkt der Nutzung.
  • das ist eine separate Funktion, die Teil der Konzepte TS, aber nicht in C++17. Die p0127 Verwendung von auto nicht in Konflikt mit ihm, obwohl.
InformationsquelleAutor Damian | 2016-06-25
  1. 57

    Den template <auto> Funktion (P0127R1) angenommen wurde, in C++ in der ISO-C++ - 2016-meeting in Oulu, Finnland.

    Einer auto Schlüsselwort in einer template-parameter kann verwendet werden, um anzuzeigen, dass ein non-type-parameter der Typ, von dem abgeleitet wird an der Stelle der Instanziierung. Es hilft, zu denken, dies als ein bequemer Weg, zu schreiben:

    template <typename Type, Type value>

    Beispielsweise

    template <typename Type, Type value> constexpr Type constant = value;
constexpr auto const IntConstant42 = constant<int, 42>;

    kann nun geschrieben werden als 

    template <auto value> constexpr auto constant = value;
constexpr auto const IntConstant42 = constant<42>;

    wo Sie nicht explizit ausbuchstabieren, die den Typ nicht mehr. P0127R1 enthält auch einige einfache, aber gute Beispiele, wo mit template <auto> mit variadic template-Parameter ist sehr praktisch, beispielsweise für Implementierungen von compile-time-Listen Konstante Werte:

    template <auto ... vs> struct HeterogenousValueList {};
using MyList1 = HeterogenousValueList<42, 'X', 13u>;

template <auto v0, decltype(v0) ... vs> struct HomogenousValueList {};
using MyList2 = HomogenousValueList<1, 2, 3>;

    In vor-C++1z, während HomogenousValueList könnte einfach so geschrieben, wie

    template <typename T, T ... vs> struct Cxx14HomogenousValueList {};
using MyList3 = Cxx14HomogenousValueList<int, 1, 2, 3>;

    schreiben ein äquivalent HeterogenousValueList wäre nicht möglich ohne die Verpackung der Werte in einigen anderen Vorlagen, zum Beispiel:

    template <typename ... ValueTypes> struct Cxx14HeterogenousValueList {};
using MyList4 = Cxx14HeterogenousValueList<constant<int, 42>,
                                           constant<char, 'X'> >;
    InformationsquelleAutor mceo
  2. 10

    Eigentlich ist der Fall für echte Werte in mceo ' s (original) Antwort ist ausdrücklich nicht abgedeckt, als nicht-Typ template-parameter.

    template <auto ... vs> struct HeterogenousValueList {};
using MyList1 = HeterogenousValueList<42, 'X', 1.3f>;

    Siehe das Beispiel in der erwähnten Vorschlag:
    Ändern §14.3.2 Absatz 2:

    template<auto n> struct B { /* ... */ };
B<5> b1;   //OK: template parameter type is int
B<'a'> b2; //OK: template parameter type is char
B<2.5> b3; //error: template parameter type cannot be double

    Stolperte über die gleiche Missverständnis, das mich vor ein paar Tagen.

    • Dies ist zwar schön zu wissen, und von Ihnen positiv bewertet werden, jetzt sehe ich nicht, wie es ist relevant für die Frage. Niemand ist heute darauf hindeutet, Reale Werte können verwendet werden, als nicht-Typ template-Parameter.
    • Dies war eine Antwort auf die ursprüngliche Antwort von mceo, wo er gab ein Beispiel von einem realen Wert, der als template-argument, das, jedoch, ist nicht gestattet. Dieser Aspekt ist nun in der akzeptierten Antwort oben nach bearbeitet zu werden, und ist nun im wesentlichen redundant.
    • Und es ist relevant für die Frage in dem Sinne, dass die Einführung von 'auto' nicht in schleichen neuen template-argument-Arten kann man leicht den Eindruck bekommen der.
    InformationsquelleAutor m-j-w
  3. 4

    Hier ist ein weiteres Beispiel (ursprünglich präsentiert von @Rakete1111 als Antwort für template template-parameter von unbekannten Art):

    Extrahieren Sie den Wert der GRÖßE, ohne zu wissen, seine Art:

    template<std::size_t SIZE>
class Foo {};

template <template<auto> class T, auto K>
auto extractSize(const T<K>&) {
    return K;
}

int main() {
    Foo<6> f1;
    Foo<13> f2;
    std::cout << extractSize(f1) << std::endl;
    std::cout << extractSize(f2) << std::endl;
}
    InformationsquelleAutor Amir Kirsh
Schreibe einen Kommentar