Preguntas etiquetadas con c++17

¿Hay alguna manera de verificar si dos funciones tienen la misma firma? Por ejemplo: int funA (int a, int b); int funB (int a, int b); float funC (int a, int b); int funD (float a, int b); En este ejemplo, funAy funBes la única combinación de funciones que debería …

35 c++  function  c++17  c++-standard-library  function-signature 

En C ++ 17, ¿cómo declara e inicializa un vector de pares (o tuplas) con un elemento opcional? std::vector<std::pair<int, optional<bool> > > vec1 = { {1, true}, {2, false}, {3, nullptr}}; Tengo un par donde el segundo elemento puede ser nulo / opcional.

34 c++  vector  c++17  optional  std-pair 

Este código no se compila en Clang (6,7,8,9, troncal), pero se compila muy bien en 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 == 42) { return TypeHolder<bool>{}; …

28 c++  language-lawyer  c++17  clang++ 

Considere el siguiente código . struct any { template <typename T> operator T &&() const; template <typename T> operator T &() const; }; int main() { int a = any{}; } Aquí el segundo operador de conversión es elegido por la resolución de sobrecarga. ¿Por qué? Por lo que yo …

27 c++  language-lawyer  c++17  overload-resolution 

Autoexplicativo. Básicamente, digamos que tengo listas de tipos así: using type_list_1 = type_list<int, somestructA>; using type_list_2 = type_list<somestructB>; using type_list_3 = type_list<double, short>; Pueden ser un número variado de listas de tipos. ¿Cómo obtengo una lista de tipos de productos cartesianos? result = type_list< type_list<int, somestructB, double>, type_list<int, somestructB, short>, …

26 c++  templates  c++17  variadic-templates 

Digamos que tengo un shared_ptrcon un asignador personalizado y un eliminador personalizado. No puedo encontrar nada en el estándar que habla sobre dónde se debe almacenar el eliminador: no dice que el asignador personalizado se usará para la memoria del eliminador, y no dice que no lo será. ¿Esto no …

22 c++  language-lawyer  c++17  shared-ptr  allocator 

#include <optional> bool f() { std::optional<int> opt; return opt; } No compila: 'return': cannot convert from 'std::optional<int>' to 'bool' Consulta de referencia Pensé encontrar una explicación, pero la leí, ya que debería estar bien. Las conversiones implícitas se realizan cada vez que se usa una expresión de algún tipo T1 …

21 c++  language-lawyer  c++17  implicit-conversion 

Cómo por un tipo de variante dado using V = std::variant<bool, char, std::string, int, float, double, std::vector<int>>; declarar dos tipos de variantes using V1 = std::variant<bool, char, int, float, double>; using V2 = std::variant<std::string, std::vector<int>>; donde V1incluye todos los tipos aritméticos de Ve V2incluye todos los tipos no aritméticos de …

20 c++  c++17  std-variant 

Tengo una función de plantilla sobrecargada: 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 << __FUNCSIG__ << std::endl; return b < …

20 c++  templates  c++17  visual-studio-2019  template-argument-deduction 

Cppreference tiene este código de ejemplo 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; }); Pero también dice: std::transformno garantiza la aplicación en orden de unary_opo binary_op. Para aplicar una función a una secuencia en orden o para aplicar una función que modifique …

20 c++  stl  language-lawyer  c++17 

Estoy trabajando en un proyecto con C ++ 11 e intenté seguir el código #include <atomic> struct A { std::atomic_int idx = 1; }; int main() { return 0; } Me sale el error del compilador error: use of deleted function 'std::__atomic_base<_IntTp>::__atomic_base(const std::__atomic_base<_IntTp>&) [with _ITp = int]' std::atomic_int idx = …

19 c++  c++14  c++17  stdatomic 

¿Hay alguna manera de verificar en C ++ 11 si una enumeración es continua ? Es totalmente válido dar valores enum que no lo son. ¿Hay tal vez una característica como un rasgo de tipo en C ++ 14, C ++ 17 o tal vez C ++ 20 para verificar …

17 c++  c++11  c++14  c++17  c++20 

Nuestro equipo está trabajando con una base de código C ++ de más de 10 años y recientemente se cambió a un compilador C ++ 17. Por lo tanto, estamos buscando formas de modernizar nuestro código. En una conferencia en YouTube escuché la sugerencia de reemplazar const char*cadenas globales con …

17 c++  c++17  constexpr  string-view 

Estaba jugando con autoadentro std::pair. En el siguiente código, fse supone que la función devuelve una std::pairde los tipos que dependen de un parámetro de plantilla. Un ejemplo de trabajo: EJEMPLO 1 template <unsigned S> auto f() { if constexpr (S == 1) return std::pair{1, 2}; // pair of ints …

16 c++  c++17  constexpr  auto  std-pair 

Compilo este programa por g ++ y clang ++. Hay una diferencia: g ++ imprime 1, pero clang ++ imprime 2. Parece que g ++: la variable externa se define en el ámbito más corto. clang ++: la variable externa se define en el ámbito global más corto. ¿La especificación …

15 c++  language-lawyer  c++17