«language-lawyer» 태그된 질문

다음 프로그램을 고려하십시오. #include<stdexcept> #include<iostream> int main() { try { throw std::range_error(nullptr); } catch(const std::range_error&) { std::cout << "Caught!\n"; } } libstdc ++를 사용하는 GCC 및 Clang std::terminate은 메시지와 함께 프로그램을 중단하고 중단합니다 terminate called after throwing an instance of 'std::logic_error' what(): basic_string::_S_construct null not valid 예외 구성시 libc ++ …

9 c++  exception  language-lawyer 

이 질문은이 의견에서 비롯됩니다 : C ++ 20 코 루틴에 대한 Lambda 수명 설명 이 예와 관련하여 : auto foo() -> folly::coro::Task<int> { auto task = []() -> folly::coro::Task<int> { co_return 1; }(); return task; } 따라서 반환 된 코 루틴을 실행하면 fooUB가 발생 하는지 여부가 문제입니다 . "객체의 수명이 …

9 c++  language-lawyer  c++20  c++-coroutine 

때문에 낮은 수준의 객체 조작을 위해 객체 P0593 내재적으로 작성이 허용 된 오브젝트가 작성 될 수있다 내재적 20 ++ C이다. 특히 제안에 의해 도입 된 문구 (예 : 특정 작업 할 수 있습니다 std::malloc자동으로이) 특정 유형의 객체의 수명, 소위 만들고 시작 암시 평생 유형을 , 경우 같은 오브젝트의 도입이 가지고 …

9 c++  language-lawyer  c++20 

다음과 같은 템플릿 구조가 주어집니다. template<typename T> struct Foo { Foo(T&&) {} }; 이것은 컴파일되고 다음과 T같이 추론됩니다 int. auto f = Foo(2); 그러나 이것은 컴파일되지 않습니다 : https://godbolt.org/z/hAA9TE int x = 2; auto f = Foo(x); /* <source>:12:15: error: no viable constructor or deduction guide for deduction of template …

9 c++  templates  language-lawyer 

다음 코드가 있습니다. template <typename TC> class C { struct S { template <typename TS> void fun() const {} }; void f(const S& s) { s.fun<int>(); } }; // Dummy main function int main() { return 0; } gcc 9.2와 clang (9.0)을 사용하여이를 빌드 할 때 template키워드를 호출해야하기 때문에 컴파일 …

9 c++  templates  language-lawyer  dependent-name 

전문하는 동안 나는이 문제를 건너 온 tuple_size/ tuple_element구조 바인딩 (17) C ++에서 사용자 정의 클래스. 아래 코드는 GCC에서는 컴파일되지만 clang에서는 컴파일되지 않습니다 (두 트렁크 버전 모두 아래 링크 참조). #include <type_traits> template<typename T, typename... Ts> using sfinae_t = T; template<typename T, bool... Bs> using sfinae_v_t = sfinae_t<T, typename std::enable_if<Bs>::type...>; template …

9 c++  templates  language-lawyer  template-specialization  partial-specialization 

나는 이것이 매우 일반적인 주제라는 것을 알고 있지만 일반적인 UB를 쉽게 찾을 수있는 한 지금 까지이 변형을 찾지 못했습니다. 따라서 실제 데이터 사본을 피하면서 Pixel 객체를 공식적으로 소개하려고합니다. 이것이 유효합니까? struct Pixel { uint8_t red; uint8_t green; uint8_t blue; uint8_t alpha; }; static_assert(std::is_trivial_v<Pixel>); Pixel* promote(std::byte* data, std::size_t count) { Pixel …

9 c++  language-lawyer  reinterpret-cast  object-lifetime  placement-new 

수 int (*)[]불완전한 유형을 수? C 2018 6.2.5 1의 말 : 변환 단위 내의 다양한 지점에서, 객체 유형이 불완전 하거나 ( 해당 유형의 객체 크기를 결정 하기에 충분한 정보가 없음) 완료 (충분한 정보가 있음) 될 수 있습니다. 따라서 유형의 크기를 알면 유형이 완전한 것 같습니다. 6.2.6.1 28은 특정 유형의 포인터가 …

9 c  pointers  language-lawyer  incomplete-type 

합니까 C ++은 순서 지정 사양 operator new과의 생성자 A에를 new C(A()). g는 순서하자 ++ A()-> new-> C()하지만, 그 소리가하자 ++ new-> A()-> C(). 차이가 지정되지 않은 동작으로 인해 발생합니까? g ++ : 7.4.0 clang ++ : 10.0.0 #include <iostream> #include <cstdlib> struct A { A() { std::cout << "call …

9 c++  language-lawyer  c++17  order-of-execution 

다음 코드 스 니펫을 이해하려고합니다. 스 니펫 # 1 template <typename T> struct A { static constexpr int VB = T::VD; }; struct B : A<B> { }; gcc9 또는 clang9 모두 여기에 오류가 발생하지 않습니다. Q.이 코드는 왜 컴파일됩니까? A<B>B에서 상속받을 때 인스턴스화하지 않습니까? B에는 VD가 없으므로 컴파일러에서 오류를 …

9 c++  templates  language-lawyer 

C ++ 초안 표준에서는 "강하게 발생합니다"라는 문구가 여러 번 사용되었습니다. 예 : 종료 [basic.start.term] / 5 std :: atexit ([support.start.term] 참조)를 호출하기 전에 정적 저장 기간이있는 객체의 초기화 완료가 강력하게 발생하면 함수 호출이 std :: atexit에 전달되었습니다. 객체의 소멸자를 호출하기 전에 시퀀스됩니다. 정적 저장 시간으로 객체의 초기화가 완료되기 전에 std …

9 c++  multithreading  language-lawyer  memory-model  happens-before