Preguntas etiquetadas con sfinae

¿Es posible escribir una plantilla que cambie el comportamiento dependiendo de si una determinada función miembro está definida en una clase? Aquí hay un ejemplo simple de lo que me gustaría escribir: template<class T> std::string optionalToString(T* obj) { if (FUNCTION_EXISTS(T->toString)) return obj->toString(); else return "toString not defined"; } Entonces, si …

499 c++  templates  template-meta-programming  sfinae 

Me gustaría poder introspectar una clase de C ++ para su nombre, contenido (es decir, miembros y sus tipos), etc. Estoy hablando de C ++ nativo aquí, no C ++ administrado, que tiene reflexión. Me doy cuenta de que C ++ proporciona información limitada usando RTTI. ¿Qué bibliotecas adicionales (u …

263 c++  reflection  templates  sfinae 

Scott Meyers publicó el contenido y el estado de su próximo libro EC ++ 11. Escribió que un elemento del libro podría ser "Evitar std::enable_ifen firmas de funciones" . std::enable_if puede usarse como argumento de función, como tipo de retorno o como plantilla de clase o parámetro de plantilla de …

165 c++  templates  c++11  sfinae  enable-if 

Vi la charla de Walter Brown en Cppcon14 sobre la programación de plantillas modernas ( Parte I , Parte II ) donde presentó su void_ttécnica SFINAE. Ejemplo: Dada una plantilla variable simple que evalúa voidsi todos los argumentos de la plantilla están bien formados: template< class ... > using void_t …

149 c++  templates  c++14  sfinae 

Estoy pidiendo un truco de plantilla para detectar si una clase tiene una función miembro específica de una firma determinada. El problema es similar al citado aquí http://www.gotw.ca/gotw/071.htm pero no el mismo: en el artículo del libro de Sutter respondió a la pregunta de que una clase C DEBE PROPORCIONAR …

135 c++  c++11  templates  sfinae 

Quiero entrar en más metaprogramación de plantillas. Sé que SFINAE significa "la falla de sustitución no es un error". Pero, ¿alguien puede mostrarme un buen uso de SFINAE?

122 c++  templates  metaprogramming  sfinae 

¿Cómo es la siguiente implementación std::is_function? template<class T> struct is_function : std::integral_constant< bool, !std::is_const<const T>::value && !std::is_reference<T>::value > {}; (de la referencia de CPP ) Me parece que una intsería una función bajo esta definición. ¿Qué me estoy perdiendo?

82 c++  templates  std  sfinae 

Estoy usando la función SFINAE en gran medida en un proyecto y no estoy seguro de si hay alguna diferencia entre los siguientes dos enfoques (aparte del estilo): #include <cstdlib> #include <type_traits> #include <iostream> template <class T, class = std::enable_if_t<std::is_same_v<T, int>>> void foo() { std::cout << "method 1" << std::endl; …

40 c++  sfinae 

La pregunta puede ser demasiado difícil de describir en una oración del título, pero aquí hay un ejemplo mínimo: #include <iostream> #include <type_traits> template <class T, class U, class Enabler> struct my_trait : std::false_type {}; template <class T, class U> struct my_trait<T, U, std::enable_if_t<std::is_same<T, U>::value>> : std::true_type {}; template <class …

8 c++  templates  sfinae  template-specialization