language-lawyer

0열

1답변

아래 demo은 12 대신 21을 인쇄합니다. 왜? #include <iostream> template<class... F> void callMany(F... fib){ [&](...){}( (fib(),123)... ); } int main() { auto f1=[&](){std::cout<<"1";};

2열

2답변

C++ 알고리즘 힙 할당 보장

무료 저장소 (즉, 힙) 할당을하지 않는 표준 알고리즘의 비 실행 정책 오버로드에 대한 C++ 표준에 대한 보증이 있습니까? 실시간 처리를하고 있는데, 예를 들어 std::max_element을 사용하고 싶지만 힙에 할당하지 않는다고 보장 할 수는 없습니다. 그것은 의미가 없지만 어디서나 명시된 것을 보지 못합니다. 아마 그걸 보장하는 몇 가지 조항이 없을

7열

3답변

불완전한 유형

값합니다 (-std=c++17 -Wall -Wextra -Werror -pedantic-errors -O0 컴파일 플래그) 코드 compiles successfully both with clang++ 5.0.0 and g++ 7.2 다음 struct Foo; struct Bar { Foo get() const; void set(Fo

8열

1답변

이 클래스의 범위에 기능을 constexpr하는 포인터를 전달 부모 템플릿의 매개 변수를 추론 할 학대

내가 가진 최소한의 예는 약간 복잡입니다 Kid 문제에 대해 Parent 일치 약 : prog.cc:7:15: note: candidate template ignored: could not match 'Parent' against 'Kid' constexpr int operator*(A, Parent<N>*) { return N; } 우리가 코드를 조

9열

1답변

const를 추가하지 않으면 왜 컴파일러에서 자동 템플릿 매개 변수를 추론 할 수 없습니까?

는 최근이 같은 코드에 문제가 있었다 : constexpr auto lambda = []{}; template<auto& l> struct Lambda {}; template<auto& l> void test(Lambda<l>) {} int main() { test(Lambda<lambda>{}); } 연타 모두를하고 l을 추론

8열

1답변

분기의 람다는 상수 표현을 취하지 않았습니다. 누가 맞습니까?

다음 결과를 혼합하여 다음 C++ 11 코드를 컴파일하려고했습니다. struct NoTemplate { static constexpr auto (*foo)() = false ? +[]{} : nullptr; }; NoTemplate no_inst; template<typename> struct YesTemplate { stat

6열

2답변

여러 팩을 사용하는 매개 변수 팩 일치 규칙

매개 변수 팩 및 일부 표준 일치 규칙을 사용하여 다른 함수를 사용하는 함수를 작성하려고합니다. 예를 들어 : TListElems 및 TVectorElems, 나는 어떤 std::tuple<T...>* 그래서 발신자가 명시 될 수 있습니다 추가 명확하게하기 위해 template <typename... TListElems, typename... TVector

16열

2답변

clang 5 : std :: optional instantiation screws std :: is_constructible 특성 매개 변수 유형의 특성

C++로 전환하고 사용자 정의 std::optional 솔루션을 표준 I/F로 바꾸면 clang 5의 예기치 않은 동작이 감지되었습니다. 어떤 이유로 인해 std::is_constructible 특성 클래스의 특성이 잘못 평가되어 emplace()이 사용 중지되었습니다. #include <optional> /// Precondition #1: T mus

3열

1답변

사용자 정의 유형에 의존하지 않는 전역 이름 공간에서 표준 정의 유형에 대한 연산자를 오버로드하는 것은 올바른 형식입니까?

다음 코드는 표준별로 잘 구성된 프로그램입니까? std::ostream& operator<<(std::ostream& out, std::chrono::system_clock::time_point tp) { return out << tp.time_since_epoch().count(); } 이 표준 라이브러리에 정의 된 템플릿 아니며, std

4열

1답변

c 및 C++에서 2 차원 배열 요소의 유형은 무엇입니까?

예 : int arr[2][3] = ... arr[0]의 유형은 구글이 나에게 질문에 대해 아무것도 알 수 없습니다 int (*)[3] // pointer to int[3], which is a pointer. 또는 int[3] // an array whose size is 3, which is an array. 입니다. 포인터와 배열이 다른 유