Preguntas etiquetadas con c++17

¿Es esto válido C ++? int main() { constexpr auto sz = __func__ - __func__; return sz; } GCC y MSVC piensan que está bien, Clang cree que no: Compiler Explorer . Todos los compiladores están de acuerdo en que este está bien: Compiler Explorer . int main() { constexpr …

14 c++  pointers  language-lawyer  c++17  constexpr 

Me he encontrado con este comportamiento std::gcdque encontré inesperado: #include <iostream> #include <numeric> int main() { int a = -120; unsigned b = 10; //both a and b are representable in type C using C = std::common_type<decltype(a), decltype(b)>::type; C ca = std::abs(a); C cb = b; std::cout << a << …

14 c++  language-lawyer  c++17  unsigned  libstdc++ 

template<class Msg, class... Args> std::wstring descf(Msg, Args&&... args) { std::wostringstream woss; owss << Msg << ". " << ... << " " << args << ": '" << args << "' ";//not legal at all //or owss << Msg << ". " << args[0] << ": '" << args[1] << …

14 c++  c++17  variadic-templates  fold-expression 

Recientemente seguí una discusión de Reddit que condujo a una buena comparación de la std::visitoptimización entre los compiladores. Noté lo siguiente: https://godbolt.org/z/D2Q5ED Tanto GCC9 como Clang9 (supongo que comparten el mismo stdlib) no generan código para verificar y lanzar una excepción sin valor cuando todos los tipos cumplen algunas condiciones. …

14 c++  c++17  variant  c++-standard-library 

Tengo un código como este: #include <vector> #include <utility> int main() { std::vector<bool> vb{true, false}; std::swap(vb[0], vb[1]); } Argumentos sobre la cordura de vector<bool>un lado, esto estaba funcionando bien en: Clang para Mac Visual Studio para Windows GCC para Linux Luego intenté compilarlo con Clang en Windows y recibí el …

14 c++  visual-studio  clang  c++17  std 

¿El siguiente programa está bien formado? #include <vector> struct A { explicit A(int) {} }; int main() { std::vector<int> vi = {1, 2, 3, 4, 5}; std::vector<A> va(vi.begin(), vi.end()); } Según C ++ 17 [secuencia.reqmts], el requisito para X u(i, j); donde Xes un contenedor de secuencia, es: Tserá EmplaceConstructibleen …

14 c++  c++17 

¿Cómo sobrecargar una función lambda local simple? SSE del problema original: #include <iostream> #include <map> void read() { static std::string line; std::getline(std::cin, line); auto translate = [](int idx) { constexpr static int table[8]{ 7,6,5,4,3,2,1,0 }; return table[idx]; }; auto translate = [](char c) { std::map<char, int> table{ {'a', 0}, {'b', …

14 c++  lambda  overloading  c++17  function-object 

Tengo curiosidad por saber cómo nullptrfunciona. Las normas N4659 y N4849 dicen: tiene que tener tipo std::nullptr_t; no puedes tomar su dirección; se puede convertir directamente a un puntero y puntero a miembro; sizeof(std::nullptr_t) == sizeof(void*); su conversión a booles false; su valor se puede convertir a tipo integral de …

13 c++  c++17  nullptr  null-pointer 

Cuando queremos usar a static_asserten a if constexprdebemos hacer que la condición dependa de algún parámetro de plantilla. Curiosamente, gcc y clang no están de acuerdo cuando el código está envuelto en una lambda. El siguiente código se compila con gcc, pero clang activa la afirmación, incluso si if constexprno …

13 c++  templates  language-lawyer  c++17  static-assert 

Trato de comprender los tipos de expresión de C ++ y cuanto más leo, más confundido estaba, ya que encuentro que el borrador de C ++ es muy difícil de digerir y, por lo tanto, prefiero otros recursos, pero se contradicen entre sí o no tienen en cuenta que la …

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

Hice una plantilla de función para imprimir algunos de los contenedores stl #include <iostream> #include <vector> #include <string> template <template <typename, typename> class C, typename T, typename A> std::ostream& operator<<(std::ostream& os, const C<T, A>& container) { for (auto& elem : container) { os << elem << " "; } return …

13 c++  c++17 

tl; dr: Creo que mi static_vector tiene un comportamiento indefinido, pero no puedo encontrarlo. Este problema está en Microsoft Visual C ++ 17. Tengo esta implementación static_vector simple e inacabada, es decir, un vector con una capacidad fija que se puede asignar en pila. Este es un programa de C …

12 c++  segmentation-fault  c++17  undefined-behavior 

Obviamente podemos concatenar dos literales de cadena en una constexprfunción, pero ¿qué pasa con la concatenación de un literal de cadena con una cadena devuelta por otra constexprfunción como en el código a continuación? template <class T> constexpr const char * get_arithmetic_size() { switch (sizeof(T)) { case 1: return "1"; …

12 c++  c++17 

Estoy buscando una manera de identificar lambdas vacías (sin captura) de otras lambdas en una función de plantilla. Actualmente estoy usando C ++ 17 pero tengo curiosidad por las respuestas de C ++ 20 también. Mi código se ve así: template<typename T> auto func(T lambda) { // The aguments of …

12 c++  lambda  c++17  c++20 

La siguiente pregunta está relacionada, sin embargo, las respuestas son antiguas, y el comentario del usuario Marc Glisse sugiere que hay nuevos enfoques desde C ++ 17 a este problema que podrían no discutirse adecuadamente. Estoy tratando de que la memoria alineada funcione correctamente para SIMD, sin dejar de tener …

11 c++  c++17  stdvector  simd  memory-alignment