language-lawyer

9Ciepło

1Odpowiedz

Czy mogę użyć wyniku przechwytywania operatora C++ 17 bez operatora lambda constexpr jako argumentu wskaźnika szablonu typu non-type?

Podczas odpowiadania na How do I write a lambda expression that looks like a method?, próbowałem przekształcić bezobsługową lambdę w wskaźnik funkcji elementu, wykorzystując fakt, że od C++ 17, przech

5Ciepło

2Odpowiedz

Trwałość związku dosłownym

6.5.2.5p5 mówi Jeśli związek dosłownym zachodzi poza organizmem funkcji, celem ma statyczny czas przechowywania; w przeciwnym razie ma on automatyczny czas przechowywania związany z blokiem obejmujący

7Ciepło

2Odpowiedz

Generic lambda i jej argument jako stałej ekspresji

Poniższy kod jest akceptowany przez GCC 7.2 oraz brzękiem 5.0.0, ale zostaje odrzucony przez Microsoft VS 2017 15.5.0 Podgląd 5 i Intel C++ 19: struct S { }; constexpr int f(S) { return 0; }

7Ciepło

3Odpowiedz

Niekompletne typy jak parametry funkcji i zwracane wartości

następujący kod compiles successfully both with clang++ 5.0.0 and g++ 7.2 (z flagami -std=c++17 -Wall -Wextra -Werror -pedantic-errors -O0 kompilacji): struct Foo; struct Bar { Foo get() const

9Ciepło

1Odpowiedz

Dlaczego kompilator nie może wydedukować parametru automatycznego szablonu, chyba że dodaję const?

Niedawno miałem problem z kodu: constexpr auto lambda = []{}; template<auto& l> struct Lambda {}; template<auto& l> void test(Lambda<l>) {} int main() { test(Lambda<lambda>{}); } Zarów

6Ciepło

2Odpowiedz

Reguły dopasowania pakietów parametrów z wieloma pakietami

Próbuję napisać funkcję, która ma inną funkcję, używając pakietów parametrów i niektórych standardowych reguł dopasowania. Jako przykład: template <typename... TListElems, typename... TVectorElems> v

16Ciepło

2Odpowiedz

clang 5: std :: opcjonalne wkręty do instancji std :: is_constructible cecha parametru typ

Naprawdę dziwne i nieoczekiwane zachowanie klangu 5 zostało wykryte po przejściu na C++ 17 i zastąpieniu niestandardowego rozwiązania std::optional standardowym. Z jakiegoś powodu, emplace() został wy

6Ciepło

1Odpowiedz

Co sprawia, że członek związku jest aktywny?

Co sprawia, że członek związku jest aktywny? Przeczytałem rozdział 9.5 standardu C++ 14 (ten o związkach), ale nie znalazłem jednoznacznej odpowiedzi na pytanie, co sprawia, że członek związku jes

14Ciepło

2Odpowiedz

Dlaczego cppreference definiuje skróty type_traits xxx_v jako inline constexpr, a nie tylko constexpr?

Dlaczego cppreference definiuje skróty type_traits xxx_v jako inline constexpr, a nie tylko constexpr? Na przykład, patrz is_integral_v: template< class T > inline constexpr bool is_integral_v = is_i

7Ciepło

1Odpowiedz

Typo: błąd wywołany boolem na int w std :: ifstream pod Linuksem

Miałem literówkę (|| zamiast |) i zauważyłem, że taki kod nie działa z GCC i kompiluje się z Visual. Wiem, że drugim parametrem std::ifstream jest int. Więc teoretycznie, bool musi zostać przekonwerto