Std::enable_if verstehen: Zweck und Implementierung entschlüsseln

Während die Natur von std::enable_if in bestimmten Kontexten verstanden wird, ist es Feinheiten, insbesondere das zweite Argument und die Zuweisung zu std::enable_if innerhalb der Template-Anweisung, bleiben rätselhaft. Ein tieferes Eintauchen in seine Funktionsweise wird diese Geheimnisse lüften.

Das Wesentliche von std::enable_if

std::enable_if ist eine spezielle Vorlage, die wie folgt definiert ist:

template struct enable_if {};
template struct enable_if { typedef T type; };

Entscheidend ist, dass der Typalias typedef T-Typ nur definiert wird, wenn Cond wahr ist.

Enthüllung der Verwendung

Bedenken Sie die folgende Deklaration:

template
typename std::enable_if<:numeric_limits>::is_integer, void>::type foo(const T &bar) { isInt(bar); }

Hier wird der Rückgabetyp von foo durch std::enable_if<:numeric_limits>::is_integer, void>::type definiert. Da std::numeric_limits::is_integer eine boolesche Bedingung ist, wird dieser Rückgabetyp nur definiert, wenn die Bedingung wahr ist.

Klarstellung des zweiten Arguments

In der Notation:

template::value, int>::type = 0>
void foo(const T& bar) { isInt(); }

Der Wert = 0 wird als Standard für den zweiten Vorlagenparameter verwendet. Dadurch können beide Optionen mit foo(1) aufgerufen werden, anstatt zwei Vorlagenparameter zu erfordern, wenn der Parameter std::enable_if nicht standardmäßig festgelegt wäre.

Bemerkenswerte Details

• Die explizite Eingabe des Typnamens std::enable_if<:condition t>::type erhöht die Klarheit.
• In C 14 ist enable_if_t ein etablierter Typ, der für verwendet werden sollte Rückgabetyp, der zu std::enable_if_t vereinfacht wird.
• Für Visual Studio-Versionen vor 2013 kann nur der Rückgabetyp „enable_if“ verwenden.