Perguntas com a marcação «sfinae»

É possível escrever um modelo que altera o comportamento, dependendo se uma determinada função de membro é definida em uma classe? Aqui está um exemplo simples do que eu gostaria de escrever: template<class T> std::string optionalToString(T* obj) { if (FUNCTION_EXISTS(T->toString)) return obj->toString(); else return "toString not defined"; } Então, se …

498 c++  templates  template-meta-programming  sfinae 

Eu gostaria de poder examinar uma classe C ++ por seu nome, conteúdo (por exemplo, membros e seus tipos) etc. Estou falando de C ++ nativo aqui, não de C ++ gerenciado, que tem reflexão. Sei que o C ++ fornece algumas informações limitadas usando o RTTI. Quais bibliotecas adicionais …

263 c++  reflection  templates  sfinae 

Scott Meyers publicou o conteúdo e o status de seu próximo livro EC ++ 11. Ele escreveu que um item do livro poderia ser "Evitar std::enable_ifassinaturas de funções" . std::enable_if pode ser usado como argumento de função, como tipo de retorno ou como modelo de classe ou parâmetro de modelo …

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

Eu assisti a palestra de Walter Brown no Cppcon14 sobre programação de modelos modernos ( Parte I , Parte II ), onde ele apresentou sua void_ttécnica SFINAE. Exemplo: Dado um modelo de variável simples que avalia voidse todos os argumentos do modelo estão bem formados: template< class ... > using …

149 c++  templates  c++14  sfinae 

Estou pedindo um truque de modelo para detectar se uma classe tem uma função de membro específica de uma determinada assinatura. O problema é semelhante ao citado aqui http://www.gotw.ca/gotw/071.htm, mas não é o mesmo: no item do livro de Sutter, ele respondeu à pergunta que uma classe C DEVE FORNECER …

135 c++  c++11  templates  sfinae 

Quero entrar em mais meta-programação de modelos. Eu sei que SFINAE significa "falha na substituição não é um erro". Mas alguém pode me mostrar um bom uso da SFINAE?

122 c++  templates  metaprogramming  sfinae 

Como é a implementação a seguir std::is_function? template<class T> struct is_function : std::integral_constant< bool, !std::is_const<const T>::value && !std::is_reference<T>::value > {}; (da referência CPP ) Parece-me que uma intseria uma função sob esta definição. o que estou perdendo?

82 c++  templates  std  sfinae 

Estou usando fortemente a função SFINAE em um projeto e não tenho certeza se existem diferenças entre as duas abordagens a seguir (além do 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; } template <class …

40 c++  sfinae 

A pergunta pode ser muito difícil de descrever na frase do título, mas aqui está um exemplo 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 T> …

8 c++  templates  sfinae  template-specialization