template-meta-programming

8열

1답변

is_nothrow_move_constructible <T>에 따라 래퍼 유형 X의 이동 생성자 X <T> noexcept를 어떻게 선언 할 수 있습니까?

내가 래퍼 형 template <typename T> struct X {/*..*/}; 이 있다고 가정하고 내가 할 수있는 단지 X(X&&) = default 내가 거기가 아닌 사소한 물건을 할 필요가 있기 때문이다. 그러나 이 noexcept 인 경우에만 noexcept이되고 싶습니다. 이것은 ::std::is_nothrow_move_construc

3열

1답변

기본 인스턴스 및 추론 프로토 타입을 사용하여 C++ 객체에 대한 c-wrappers 만들기

여러 메소드가있는 C++ 구조체가 여러 개 있습니다. C++ 구조체에는 "default"인스턴스가 있고이 기본 인스턴스 을 사용하는 "c"래퍼 함수를 공개하고 싶습니다. 그러나 나는 또한 모든 프로토 타입을 반복하는 것을 피하고자합니다. 알칼리의 C++ 11/14/17 및/또는 매크로 트릭을 환영하지만, 코드 생성기를 사용하고 싶지는 않습니다. 나는 거

1열

1답변

N 개의 벡터가있는 클래스의 하위 집합 반복자를 구현하는 방법

N 개의 숫자가 동일한 숫자 인 vectors을 보유하고있는 경우 1과 N 개의 벡터를 반복하는 표준 iterator 템플릿을 구현하는 방법은 무엇입니까? 나는 그 문제를 보여주는 작은 예를 썼다. 나는 현재 액세스하기 위해 다음과 같이 사용 #include <bitset> #include <tuple> #include <type_traits> #in

1열

1답변

다른 하나를 사용하여 새로운 부스트 퓨전 시퀀스 생성하기

퓨전 시퀀스 X가 주어지면, 나는 X에 기반한 구현이 될 새로운 퓨전 시퀀스 Y를 만들고 싶습니다. 특히, make_fusion_conforming 클래스 템플릿을 만들고 싶습니다. it1 및 it2가있는 사실에서와 (시퀀스의 첫 번째 요소로 반복자 될 것이라고 어디 auto sequence1 = another_fusion_sequence<X>(); //l

0열

1답변

부스트 하나를 사용하여 타이프라이터에서 중복을 제거하는 통일 된 방법

나는 boost :: hana에 익숙해 지려고한다. 연습으로 나는 사용자가 제공 한 비교 함수를 사용하여 hana :: tuple에서 중복을 제거하는 함수를 만들고 싶습니다. 내가 직면하고있는 문제는 객체를 객체로 저장하기 위해 hana::type_c을 사용하는 것과 관련이 있습니다. 여기에 내가 hana::type<pair<X,Y>>에서 추출 할 두 번째

2열

1답변

variadic 템플릿 클래스로 boost mpl lambda 사용

다음 간단한 프로그램이 컴파일되지 않는 이유를 이해하는 데 어려움을 겪고 있습니다. 내가 variplic 템플릿 클래스 (my_type 아래) mpl 벡터를 변환하는 데 사용하고 싶습니다. 다음 스 니펫은 컴파일 오류 "/ template/template/template"키워드 다음에 'apply'가 템플릿을 참조하지 않는 "/boost/mpl/aux_/p

0열

2답변

코드 제거에 enable_if가 사용되는 방법

고려중인 가능한 방법을 제거하기 위해 enable_if 문을 사용하고 있습니다. #include "gmpxx.h" #include <iostream> template <typename T> struct is_ring_field { }; template <> struct is_ring_field<int> { static const bo

1열

1답변

왜 특정 값에 대해 템플릿이 고려되지 않는가?

다음 blog entry at insooth.github.io을 읽은 후 나는 다음과 같은 형태로 코드를 재 작성하고 나는 그 결과에 놀랐습니다 : #include <iostream> #include <limits> #include <type_traits> template <unsigned d> using Offset = std::integral_

1열

1답변

형식 특성이있는 템플릿 메타 프로그래밍 : 왜 첫 번째 코드는 컴파일되고 두 번째 코드는 그렇지 않습니까?

나는 컴파일하고 예상대로 작동 처음있는 코드의 두 세트를 가지고 있지만, 불필요하게 자세한 [로 나타나는]입니다 : 이것은 오히려 쓰기하려는 코드가 template<point_type type, typename T> struct point2d_base { std::enable_if_t<std::is_arithmetic_v<T>, T> x, y;

6열

1답변

SFINAE : 컴파일 시간 알려진 값으로 함수가 호출되는지 감지

컴파일러가 알려진 값으로 내 ctor 중 하나를 호출 할 때 몇 가지 검사를하고 싶습니다. 그것을 감지하는 방법이 있습니까? 그래서 사람이 전화 할 때 : 10 이후 A a (10); 이 일정 알려진 컴파일 시간, 나는이 같은 특정의 ctor를 호출 좋아 : template<int Value, typename = std::enable_if_t<Value