Запитання з тегом «c++17»

Наша команда працює з базою кодів C ++ для 10+ років і нещодавно перейшла на компілятор C ++ 17. Тож ми шукаємо шляхи модернізації нашого коду. У конференції на YouTube я почув пропозицію замінити const char*глобальні рядки на constexpr string_view. Оскільки const char*в нашому коді є досить багато таких глобальних …

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

Я грав autoу std::pair. У наведеному нижче коді функція fповинна повертати а std::pairтипів, які залежать від параметра шаблону. Робочий приклад: ПРИКЛАД 1 template <unsigned S> auto f() { if constexpr (S == 1) return std::pair{1, 2}; // pair of ints else if constexpr (S == 2) return std::pair{1.0, 2.0}; // …

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

Я складаю цю програму за допомогою g ++ та clang ++. Є різниця: g ++ друкує 1, але clang ++ друкує 2. Здається, що g ++: зовнішня змінна визначається в найкоротшій області. clang ++: зовнішня змінна визначається в найкоротшій глобальній області. Чи має специфікація C ++ якусь специфікацію щодо цього? …

15 c++  language-lawyer  c++17 

Чи дійсно це C ++? int main() { constexpr auto sz = __func__ - __func__; return sz; } GCC та MSVC вважають, що це нормально, Кланг вважає, що це не так: Compiler Explorer . Усі компілятори погоджуються, що це нормально: Провідник компілятора . int main() { constexpr auto p = …

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

Я натрапив на таку поведінку, std::gcdщо мені виявилося несподіваним: #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 

Нещодавно я спостерігав за обговоренням Reddit, що призвело до хорошого порівняння std::visitоптимізації між компіляторами. Я помітив таке: https://godbolt.org/z/D2Q5ED І GCC9, і Clang9 (я думаю, вони поділяють один і той же stdlib) не генерують код для перевірки та викидання безцінного винятку, коли всі типи відповідають деяким умовам. Це призводить до кращого …

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

У мене такий код: #include <vector> #include <utility> int main() { std::vector<bool> vb{true, false}; std::swap(vb[0], vb[1]); } Аргументи про розумність vector<bool>убік, це справно працювало на: Кланг для Mac Visual Studio для Windows GCC для Linux Потім я спробував побудувати його з Clang у Windows і отримав таку помилку (скорочена): error: …

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

Чи добре сформована наступна програма? #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()); } Відповідно до C ++ 17 [послідовності.рекмтс], вимога до X u(i, j); де Xконтейнер послідовності, це: Tповинні бути EmplaceConstructibleв Xс *i. Однак …

14 c++  c++17 

Як перевантажити просту функцію локальної лямбда? SSE вихідної проблеми: #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', 1}, {'c', …

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

Мені цікаво знати, як nullptrпрацює. Стандарти N4659 і N4849 кажуть: він повинен мати тип std::nullptr_t; ви не можете прийняти його адресу; його можна безпосередньо перетворити на вказівник і вказівник на член; sizeof(std::nullptr_t) == sizeof(void*); його перетворення в boolє false; його значення може бути перетворене на інтегральний тип однаково (void*)0, але …

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

Коли ми хочемо використовувати a static_assertв a, if constexprми повинні зробити умову залежною від певного параметра шаблону. Цікаво, що gcc та clang не погоджуються, коли код загорнутий у лямбда. Наступний код компілюється з gcc, але clang викликає ствердження, навіть якщо це if constexprне може бути правдою. #include <utility> template<typename T> …

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

Я намагаюся зрозуміти типи виразів C ++ і чим більше я читаю, тим я був більш розгубленим, оскільки мені здається, що проект C ++ дуже важкий для засвоєння, і тому віддаю перевагу іншим ресурсам, але вони або суперечать один одному, або не враховують, що формулювання та визначення між версіями C …

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

Я зробив шаблон функції для друку деяких контейнерів 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 os; } int …

13 c++  c++17 

tl; dr: Я думаю, що мій static_vector має невизначену поведінку, але я не можу його знайти. Ця проблема стосується Microsoft Visual C ++ 17. У мене є така проста і незавершена реалізація static_vector, тобто вектор з фіксованою ємністю, який можна виділити стеком. Це програма C ++ 17, використовуючи std :: …

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