Tenho um projeto que usa C ++ 11/14, mas requer algo como std::filesystem, que só está disponível em C ++ 17 e, portanto, não tenho a chance de usá-lo atualmente. Vejo, entretanto, que está disponível em meu compilador atual como std::experimental::filesystem. É uma boa ideia usar recursos...
O padrão C ++ 17 apresenta "guias de dedução de modelo". Percebi que eles têm algo a ver com a nova dedução de argumento de modelo para construtores introduzida nesta versão do padrão, mas eu ainda não vi uma explicação simples no estilo FAQ sobre o que eles são e para que servem. O que são...
No código a seguir, uso o [[fallthrough]]atributo padrão do C ++ 1z para documentar que uma falha é desejada: #include <iostream> int main() { switch (0) { case 0: std::cout << "a\n"; [[fallthrough]] case 1: std::cout << "b\n"; break; } } Com o GCC 7.1, o código é...
Estou tentando descobrir como obter o endereço de uma função lambda dentro de si. Aqui está um código de exemplo: []() { std::cout << "Address of this lambda function is => " << ???? }(); Eu sei que posso capturar o lambda em uma variável e imprimir o endereço, mas quero fazê-lo...
Ocorreu algo estranho ao fazer algum modelo de metaprogramação no outro dia. Basicamente, tudo se resume a essa afirmação que não (como eu esperaria) passar. static_assert(std::is_same_v<void(), std::remove_reference_t<void()&>>); No começo, pensei que estava cometendo um erro...
Existe uma maneira de verificar se duas funções têm a mesma assinatura? Por exemplo: int funA (int a, int b); int funB (int a, int b); float funC (int a, int b); int funD (float a, int b); Neste exemplo, funAe funBé a única combinação de funções que deve retornar
No C ++ 17, como você declara e inicializa um vetor de pares (ou tuplas) com um elemento opcional? std::vector<std::pair<int, optional<bool> > > vec1 = { {1, true}, {2, false}, {3, nullptr}}; Eu tenho um par em que o segundo elemento pode ser nulo /
Este código não compila no Clang (6,7,8,9, tronco), mas compila perfeitamente no GCC (7.1, 8.1, 9.1): template<class T> struct TypeHolder { using type = T; }; template<int i> class Outer { private: template<class T> static constexpr auto compute_type() { if constexpr (i ==...
Considere o seguinte código . struct any { template <typename T> operator T &&() const; template <typename T> operator T &() const; }; int main() { int a = any{}; } Aqui, o segundo operador de conversão é escolhido pela resolução de sobrecarga. Por quê? Tanto quanto...
Auto-explicativo. Basicamente, digamos que eu tenha listas de tipos assim: using type_list_1 = type_list<int, somestructA>; using type_list_2 = type_list<somestructB>; using type_list_3 = type_list<double, short>; Eles podem ser um número variável de listas de tipos. Como...
Digamos que eu tenha um shared_ptralocador personalizado e um deleter personalizado. Não consigo encontrar nada no padrão que fale sobre onde o deletador deve ser armazenado: não diz que o alocador personalizado será usado para a memória do deletador e não diz que não será. Isso não é...
#include <optional> bool f() { std::optional<int> opt; return opt; } Não compila: 'return': cannot convert from 'std::optional<int>' to 'bool' Referência de consultoria Eu teria pensado em encontrar uma explicação, mas li como deveria estar ok. Conversões implícitas são...
Eu tenho uma função de modelo sobrecarregada: template<typename T1, typename T2> auto overMax(T1 a, T2 b) { std::cout << __FUNCSIG__ << std::endl; return b < a ? a : b; } template<typename RT, typename T1, typename T2> RT overMax(T1 a, T2 b) { std::cout <<...
Cppreference possui este código de exemplo para std::transform: std::vector<std::size_t> ordinals; std::transform(s.begin(), s.end(), std::back_inserter(ordinals), [](unsigned char c) -> std::size_t { return c; }); Mas também diz: std::transformnão garante a aplicação em ordem de...
Como por um determinado tipo de variante using V = std::variant<bool, char, std::string, int, float, double, std::vector<int>>; declarar dois tipos de variantes using V1 = std::variant<bool, char, int, float, double>; using V2 = std::variant<std::string,
Estou trabalhando em um projeto com C ++ 11 e tentei seguir o código #include <atomic> struct A { std::atomic_int idx = 1; }; int main() { return 0; } Eu recebo o erro do compilador error: use of deleted function 'std::__atomic_base<_IntTp>::__atomic_base(const...
Existe uma maneira de verificar no C ++ 11 se uma enumeração é contínua ? É totalmente válido fornecer valores de enumeração que não são. Existe talvez um recurso como um traço de tipo em C ++ 14, C ++ 17 ou C ++ 20 para verificar se o enum é contínuo? Isso deve ser usado em um static_assert. Um...
Nossa equipe está trabalhando com uma base de código C ++ com mais de 10 anos e recentemente mudou para um compilador C ++ 17. Então, estamos procurando maneiras de modernizar nosso código. Em uma conferência no YouTube, ouvi a sugestão de substituir const char*as cordas globais por constexpr...
Eu estava brincando com autono std::pair. No código abaixo, a função fdeve retornar um std::pairdos tipos que dependem de um parâmetro de modelo. Um exemplo de trabalho: EXEMPLO 1 template <unsigned S> auto f() { if constexpr (S == 1) return std::pair{1, 2}; // pair of ints else if...
Eu compilo este programa por g ++ e clang ++. Há uma diferença: g ++ imprime 1, mas clang ++ imprime 2. Parece que g ++: a variável externa é definida no escopo mais curto. clang ++: a variável externa é definida no menor escopo global. A especificação C ++ tem alguma especificação sobre...