Warum `is_constructible <function <int (int)>, int (*) (int, int)> :: value` unter VC2015RC wahr ist

#include <functional> using namespace std; int main() { static_assert(is_constructible<function<int(int)>, int(*)(int,int)>::value, "error"); } Der Code wird nicht mit GCC und Clang kompiliert, sondern mit Visual C ++ 2015 RC übergeben. Ist dies ...

Überprüfen Sie die Eigenschaften aller variablen Vorlagenargumente

Hintergrund Ich habe die folgende Klasse erstelltC, dessen Konstruktor @ nehmen soN Variablen vom TypB& : class A; class B { A* getA(); }; template<size_t N> class C { public: template<typename... Args> inline C(Args&... args) : ...

Wie implementiere ich das Merkmal is_enum_class? [Duplikat

Diese Frage hat hier bereits eine Antwort: Ist es möglich festzustellen, ob ein Typ ein Aufzählungstyp mit Gültigkeitsbereich ist? [/questions/10724783/is-it-possible-to-determine-if-a-type-is-a-scoped-enumeration-type] 1 AntwortWie kann man ...

Wie definiere ich das Merkmal is_iterator?

Ich versuche, a zu codierenis_iterator<T> Typ Eigenschaft. Wo wannT ist ein Iteratortypis_iterator<T>::value == true sonst istis_iterator<T>::value == false. Was ich bisher versucht habe: template <class, class Enable = void> struct is_iterator ...

Übereinstimmungen mit iterierbaren Typen (Arrays und Klassen mit begin () / end ())

Ich habe Typmerkmale wie Klassen geschrieben, die verwendet werden können, um zu testen, ob ein bestimmter Typ "iterierbar" ist. Dies gilt für Arrays (zT[N], nicht fürT[]) und für Klassen mit abegin und einend Methode, die Dinge zurückgibt, die ...

Wie kann ich Typmerkmale verwenden, um diese Array-zu-Zeiger-Konvertierung eindeutig zu machen?

Ich möchte zwischen statischen Arrays und Zeigern unterscheiden. Das folgende Beispiel kann aufgrund von nicht kompiliert werden Array-zu-Zeiger-Konvertierungen mit exakter Übereinstimmung, beides machendfoomögliche Kandidaten. Kann ich die 2. ...

Wie verwende ich std :: enable_if mit einem selbstableitenden Rückgabetyp?

Kann ich Funktionen mit Typmerkmalen überladen?

Welche <type_traits> können ohne Compiler-Hooks nicht implementiert werden?

Überprüfen Sie die verschiedenen Vorlagenparameter auf Eindeutigkeit

Ich möchte, dass verschiedene Template-Parameter eindeutig sind. Ich weiß, wann Mehrfachvererbung, identische Klassenvererbung nicht erlaubt ist.