Pytania otagowane jako c++

Według cppreference.com, std::map::operator[]dla nieistniejącej wartości robi zerową inicjalizację. Jednak ta sama strona nie wspomina o zerowej inicjalizacji std::unordered_map::operator[], z wyjątkiem tego, że opiera się na tym przykładzie. Oczywiście jest to tylko strona referencyjna, a nie standard. Czy poniższy kod jest w porządku, czy nie? #include <unordered_map> int main() { std::unordered_map<int, …

25 c++  unordered-map  zero-initialization 

Mam pytanie dotyczące jednej z funkcji c ++ 20, wyznaczonych inicjatorów (więcej informacji o tej funkcji tutaj ) #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 << std::is_aggregate_v<Person> …

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

Rozważ ten prosty kod: void g(); void foo() { volatile bool x = false; if (x) g(); } https://godbolt.org/z/I2kBY7 Widać, że ani gccnie clangoptymalizuje potencjalnego połączenia z g. W moim rozumieniu jest to poprawne: maszyna abstrakcyjna ma zakładać, że volatilezmienne mogą się zmieniać w dowolnym momencie (z powodu np. Mapowania …

25 c++  language-lawyer  volatile 

C ++ 20 wprowadził jawne (bool), które warunkowo wybiera w czasie kompilacji, czy konstruktor jest jawny, czy nie. Poniżej znajduje się przykład, który znalazłem tutaj . 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 

Rozważ plik nagłówkowy: class T { private: int const ID; public: explicit T(int const ID_) noexcept : ID(ID_) {} int GetID() const noexcept { return ID; } }; lub alternatywnie: 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 

W przypadku następującego kodu wszystkie twierdzenia oprócz ostatniego są przekazywane: 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 } Dlaczego to ostatnie stwierdzenie zawodzi i static_cast<T>nie …

24 c++  static-cast 

Dany : #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> …

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

Z tego co wiem, wielkość klasy w c ++ zależy od następujących czynników - Rozmiar wszystkich niestatycznych elementów danych. Kolejność członków danych. Jeśli uzupełnianie bajtów jest włączone, czy nie. Rozmiar jego bezpośredniej klasy bazowej. Istnienie funkcji wirtualnych. Tryb dziedziczenia (dziedziczenie wirtualne). Teraz utworzyłem 2 klasy, jak poniżej - class A{ …

23 c++  inheritance  memory 

Czytałem o funkcjach szablonów i ten problem mnie pomieszał: #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 

Stwierdziłem, że wyniki są różne w różnych kompilatorach, jeśli użyję lambda do przechwycenia odwołania do zmiennej globalnej za pomocą słowa kluczowego podlegającego modyfikacji, a następnie zmodyfikowania wartości w funkcji lambda. #include <stdio.h> #include <functional> int n = 100; std::function<int()> f() { int &m = n; return [m] () mutable -> …

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

C ++ 20 pozwala na użycie autotypu parametru funkcji. Czy pozwala również na użycie autojako symbolu zastępczego argumentu szablonu (nie podobnego, ale w duchu szablonu C ++ 17 <auto> w pewien sposób) dla typu parametru funkcji? Tak więc następujący kod sprzed C ++ 20: template<typename First, typename Second> void printPair(const …

22 c++  templates  auto  c++20 

[basic.scope.pdecl] / 1 standardowego projektu C ++ 20 zawierał następujący (nienormatywny) przykład w notatce (częściowy cytat sprzed scalenia żądania ściągnięcia 3580 , patrz odpowiedź na to pytanie): unsigned char x = x; [...] x jest inicjalizowany z własną (nieokreśloną) wartością. Czy to rzeczywiście ma dobrze zdefiniowane zachowanie w C ++ …

22 c++  initialization  language-lawyer  lifetime  c++20 

pochodzące głównie z pythonowego środowiska, z którym miałem problemy z pracą z typami w C ++. Próbuję zainicjować zmienną klasy za pomocą jednego z kilku przeciążonych konstruktorów, które przyjmują różne typy jako parametry. Przeczytałem, że użycie autosłowa kluczowego może być użyte do automatycznego zadeklarowania zmiennej, jednak w moim przypadku nie …

22 c++  constructor  initialization  overloading  auto 

Powiedzmy, że mam shared_ptrniestandardowy alokator i niestandardowy usuwacz. Nie mogę znaleźć w standardzie niczego, co mówi o tym, gdzie powinien być przechowywany usuwacz: nie mówi, że niestandardowy alokator zostanie użyty do pamięci usuwacza, i nie mówi, że nie będzie. Czy jest to nieokreślone, czy coś mi brakuje?

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

W C ++ 20 koncepcja POD jest przestarzała, prawdopodobnie dlatego, że jest to bezsensowna złożona cecha bycia trywialnym i standardowym układem. Jednak definicja POD w wersji roboczej C ++ 20 nie jest dokładnie „zarówno trywialna, jak i standardowa”; to jest właściwie: Klasa POD jest klasą, która jest zarówno klasą trywialną, …

22 c++  language-lawyer  c++20  standard-layout