language-lawyer

4열

1답변

std :: memcpy 또는 명시 적 char 값 할당 - C++에서 동일하고 유효합니다.

다음 예제에서 uint32_t의 값 표현은 uint8_t 배열로 복사됩니다. 이것은 std::memcpy에 의해 수행됩니다. C++ 표준을 이해함에 따라 이것은 완전히 합법적입니다. 에 캐스팅 된 T*을 통해 T 유형의 객체에 액세스하고 있습니다. 앨리어싱 문제가없고 정렬 문제가 없습니다. 다른 방법으로는 덜 명확합니다. unsigned char*을 통해

14열

1답변

C++ 14에서 범위가 범위 지정되지 않은 경우 다시 선언 된 열거 형의 열거자를 선언 했습니까? 11 :

는 C++ (14) (정확하게는, N4296)을 열거에 대해, 7.2와 말한다 각 ENUM 이름 각 범위가 지정되지 않은 열거 즉시 ENUM 지정자를 포함하는 범위 에서 선언 . 지금 무슨 일이 네임 스페이스 N은 열거 E의 불투명 열거 선언을 포함하고, 나중에 열거 완전히 글로벌 네임 스페이스에서 선언 된 경우 어떻게됩니까? 우리가 전역 이름 공간이나 이

2열

1답변

memory_order_seq_cst 작업에 대한 "before before"와 "first order in previous order"의 차이점은 무엇입니까? 하나는 <code>memory_order_seq_cst</code> 작업 A가 자신의 하나의 전체 순서에 다른 B 앞에 아직 어느 A는 B 전에 발생 않으며, B는 그 때문에,</p> <p>따라서 A. 전에 발생한다는 결론을 내릴 수있는 경우가없는 것처럼

보인다 그리고 N4700 [atomics.order] 32.3\ 3, 나는 "happen-before"와 "single order before"관계가 동일하다고 주장한다. 따라서 모든 규칙 : 32.3 \ 3, 4, 5, 6, 7은 중복됩니다. 그들은 이미 [intro.races] 6.8.2.1\ 14, 15, 16, 17의 일관성 규칙과 [atomics.

6열

3답변

실제로 char 배열을 가리 키지 않을 때 "char *"포인터 UB에 추가 중입니까?

C++ 17 (expr.add/4)을 말한다 : 일체형을 갖는식이에 첨가하거나 포인터로부터 감산 결과 포인터 피연산자의 형태를 갖는다. 표현식 P가 n 요소가있는 배열 객체 x의 요소 x [i]를 가리키는 경우 P + J 및 J + P (J는 값 j를 가짐) 표현식은 요소 x를 가리 킵니다. [i + j] 0≤i + j≤n 인 경우; 그렇지 않으면 동작이

4열

1답변

표준은 :: 감안하면 libstdC++ 간의 차이와의 libC++

을 iterator_traits error: no member named ' iterator_category ' in ' std::__1::iterator_traits<Iter> ' std::is_same<std::iterator_traits<Iter>::iterator_category, Iter::iterator_category>::value, "");

9열

1답변

C++ 17 캡쳐리스 람다 constexpr 변환 연산자의 결과를 함수 포인터 템플릿 형식이 아닌 인수로 사용할 수 있습니까?

How do I write a lambda expression that looks like a method?에 대답하는 동안 C++ 17, 캡쳐가없는 람다가 constexpr 변환 연산자를 함수 포인터 유형으로 사용한다는 사실을 이용하여 캡쳐리스 람다를 멤버 함수 포인터로 바꾸려고했습니다. 그래서 나는 문제가 아래로 비등 함께했다 : (5.0.0 이후) t

6열

1답변

익명 임시직과 클래스 템플릿 인수 공제 연타

대 GCC는 다음과 같은 코드를 생각해 보자. error: expected unqualified-id foo{0}; ^ live example on wandbox 는 이것을 연타 버그, 아니면이 그 방지 표준에 뭔가 : 그 소리 ++ 5, 6 코드를 컴파일을 거부 클래스 템플릿 인수 공제에서 이름이 명시되지 않은 임시 거주자가 실행됩니다

9열

2답변

새로운 배치의 반환 값과 피연산자의 형 변환 된 값 사이에 (의미 적) 차이가 있습니까?

게재 위치 new의 반환 값과 피연산자의 형 변환 값 사이에 (의미 적) 차이가 있습니까? struct Foo { ... }; char buffer[...]; Foo *a = new(buffer) Foo; Foo *b = reinterpret_cast<Foo *>(buffer); 는 a 않고 b 어떤 식 으로든에서 차이가? 편집 : Place

0열

1답변

잘 정의 된 것으로 표시된 RE2의 정의되지 않은 동작

최근 RE2 라이브러리가 빠른 세트 조회를 위해 this technique을 사용한다는 사실을 발견했습니다. 조회 중에는 초기화되지 않은 배열의 값이 사용됩니다.이 값은 정의 된대로 동작합니다. 심지어 초기화되지 않은 메모리 사용에 대한 경고가있는 this issue을 발견했습니다. 그러나 문제는이 행동이 간판된다는 의견으로 끝났다. 실제로 초기화되지 않은

8열

1답변

<typename...> 템플릿에 일치하지 않는 템플릿 <typename>에 결함이 있습니까?

this answer을 탐색하면서 매개 변수 팩을 사용하는 템플릿은 특정 개수의 매개 변수가있는 템플릿을 필요로하는 템플릿에 의해 받아 들여지지 않음을 발견했습니다. 이것은 템플릿이 원하는 수의 매개 변수를 사용할 수 있다면 특정 번호로 매핑 할 수 있어야하므로 결함이라고 생각됩니다. 왜 이것이 허용되지 않는지 설명 할 수있는 언어 변호사가 있습니까? te