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

Пояснення самостійно. В основному, скажіть, у мене такі типи списків: using type_list_1 = type_list<int, somestructA>; using type_list_2 = type_list<somestructB>; using type_list_3 = type_list<double, short>; Вони можуть бути різною кількістю списків типів. Як отримати підбірку декартового продукту? result = type_list< type_list<int, somestructB, double>, type_list<int, somestructB, short>, type_list<somestructA, somestructB, double>, type_list<somestructA, somestructB, …

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

Мене плутає сенс void *function(). Це вказівник на функцію чи функція, що повертається void*? Я завжди використовував це в структурах даних як рекурсивну функцію, що повертає вказівник, але коли я побачив код у багатопотоковому читанні ( pthread), є однакове оголошення функції. Тепер я розгублений, в чому різниця між ними.

26 c++  c  pointers  function-pointers  declaration 

Чому виконується #ifумова в наступному коді: #include <iostream> #define VALUE foo int main() { #if VALUE == bar std::cout << "WORKS!" << std::endl; #endif // VALUE }

25 c++  c-preprocessor 

Чи я можу зробити функцію, яка приймає контейнер із певним типом (скажімо std::string) як параметр void foo(const std::container<std::string> &cont) { for(std::string val: cont) { std::cout << val << std::endl; } } і називати його для кожного типу контейнера stl як вхідного? як вище? std::set<std::string> strset; std::vector<std::string> strvec; std::list<std::string> strlist; foo(strset); …

25 c++  templates  stl  containers 

У C ++ цілі числа з фіксованою шириною визначаються як необов'язкові , але я не можу знайти рекомендований спосіб перевірити, чи вони фактично визначені. Який би був портативний спосіб перевірити, чи є цілі числа фіксованої ширини?

25 c++  c++11  types  stdint  cstdint 

За даними cppreference.com, std::map::operator[]для неіснуючого значення робиться нульова ініціалізація. Однак той самий сайт не згадує нульову ініціалізацію для std::unordered_map::operator[], за винятком того, що він має приклад, який спирається на це. Звичайно, це лише довідковий сайт, а не стандарт. Отже, чи нижче код нормально чи ні? #include <unordered_map> int main() { …

25 c++  unordered-map  zero-initialization 

У мене запитання щодо однієї з функцій c ++ 20, призначених ініціалізаторами (більше інформації про цю функцію тут ) #include <iostream> constexpr unsigned DEFAULT_SALARY {10000}; struct Person { std::string name{}; std::string surname{}; unsigned age{}; }; struct Employee : Person { unsigned salary{DEFAULT_SALARY}; }; int main() { std::cout << std::boolalpha << …

25 c++  aggregate  c++20  designated-initializer 

Розглянемо цей простий код: void g(); void foo() { volatile bool x = false; if (x) g(); } https://godbolt.org/z/I2kBY7 Ви бачите, що gccні clangоптимізуйте потенційний дзвінок g. Це правильно в моєму розумінні: абстрактна машина передбачає, що volatileзмінні можуть змінюватися в будь-який момент (через те, що, наприклад, апаратне відображення), тому постійне …

25 c++  language-lawyer  volatile 

Розглянемо файл заголовка: class T { private: int const ID; public: explicit T(int const ID_) noexcept : ID(ID_) {} int GetID() const noexcept { return ID; } }; або, альтернативно: class T { private: int const ID; public: explicit T(int const ID_) noexcept; int GetID() const noexcept; }; inline T::T(int …

24 c++  language-lawyer  c++20  c++-modules 

C ++ 20 вводить явний (bool), який умовно вибирає під час компіляції, чи буде конструктор явним чи ні. Нижче наведено приклад, який я знайшов тут . struct foo { // Specify non-integral types (strings, floats, etc.) require explicit construction. template <typename T> explicit(!std::is_integral_v<T>) foo(T) {} }; foo a = 123; …

24 c++  c++20  explicit 

Для наступного коду передається все, крім останнього твердження: template<typename T> constexpr void assert_static_cast_identity() { using T_cast = decltype(static_cast<T>(std::declval<T>())); static_assert(std::is_same_v<T_cast, T>); } int main() { assert_static_cast_identity<int>(); assert_static_cast_identity<int&>(); assert_static_cast_identity<int&&>(); // assert_static_cast_identity<int(int)>(); // illegal cast assert_static_cast_identity<int (&)(int)>(); assert_static_cast_identity<int (&&)(int)>(); // static assert fails } Чому це останнє твердження провалюється, а static_cast<T>не завжди повертається …

24 c++  static-cast 

Подано: #include <concepts> #include <iostream> template<class T> struct wrapper; template<std::signed_integral T> struct wrapper<T> { wrapper() = default; void print() { std::cout << "signed_integral" << std::endl; } }; template<std::integral T> struct wrapper<T> { wrapper() = default; void print() { std::cout << "integral" << std::endl; } }; int main() { wrapper<int> w; …

23 c++  language-lawyer  c++20  c++-concepts 

Як я знаю, розмір класу в c ++ залежить від наведених нижче факторів - Розмір усіх нестатичних членів даних. Порядок членів даних. Якщо включення байтів увімкнено чи ні Розмір його безпосереднього базового класу. Існування віртуальних функцій. Режим успадкування (віртуальне успадкування). Тепер я створив 2 класи, як показано нижче - class …

23 c++  inheritance  memory 

Я читав про функції шаблону і заплутався у цій проблемі: #include <iostream> void f(int) { std::cout << "f(int)\n"; } template<typename T> void g(T val) { std::cout << typeid(val).name() << " "; f(val); } void f(double) { std::cout << "f(double)\n"; } template void g<double>(double); int main() { f(1.0); // f(double) f(1); …

23 c++  function-templates  name-lookup  dependent-name  unqualified-name 

Я виявив, що результати компіляторів відрізняються, якщо я використовую лямбда, щоб захопити посилання на глобальну змінну із змінним ключовим словом, а потім змінити значення у функції лямбда. #include <stdio.h> #include <functional> int n = 100; std::function<int()> f() { int &m = n; return [m] () mutable -> int { m …

22 c++  c++11  lambda  language-lawyer