sfinae

1열

1답변

이 특성 클래스가 작동하지 않아서 클래스에 특정 typedef가 있는지 테스트하는 이유는 무엇입니까?

편집 : 좋아요. 알아 냈습니다. 내가 방금 bool을 사용해야했을 때 enable_if에 대한 인수로 false_type과 true_type을 사용하고있었습니다. : x 또한 클래스가 value_type 인 경우 std::pair<const Tkey, Tmapped>과 같은지 확인하는 것이 좋습니다. 그래서, 내 새로운 특성 클래스는 다음과 같습니다 :

3열

1답변

는 Sfinae는 0 또는 1 매개 변수 중 하나와 기능에

는 다음 두 선언을 고려 (인수의 유형에 관계없이)? 당신에게 도움이 될 수

3열

1답변

템플릿 기본 설정된 기본 생성자

기본 생성자의 정의를 템플릿 매개 변수에 의해 컴파일 타임에 전환하고 싶습니다. 변환 생성자에 대해 OK를 컴파일 할 수 있지만 기본 생성자에 대해 해당 메서드를 사용하려고 시도하면 기본값이되거나 유용하지 않습니다. 특정 템플릿 매개 변수의 경우 결과 클래스는 POD 일 수 있지만 다른 경우 , 수 없습니다 -하지만 그렇게 할 때 컴파일러 오류가 발생합니다

5열

1답변

enable_if 유형이 특정 템플릿 클래스가 아닙니다.

TLDR : 마지막 단락을 참조하십시오. 내가는 operator& 지금과 같은 몇 가지 템플릿 클래스에 정의가 : 이것은 잘 작동 template <typename T> struct Class { Class(T const &t) { } }; template <typename T_Lhs, typename T_Rhs> struct ClassA

4열

1답변

기본 클래스와 파생 클래스 모두 가변 상속 체인이있는 경우 모호한 SFINAE 액세스가 발생하지 않음

SFINAE을 사용하면 가변 클래스 클래스 템플릿의 개별 요소에 액세스 할 수 있습니다. 내 문제는 기본 클래스가 variadic 클래스 템플릿을 상속 한 다음 파생 클래스가 기본 템플릿과 다른 템플릿 인수를 사용하여 variadic 클래스 템플릿을 상속 할 때 발생합니다. 상속 체인을 따라야하는 모호성이 있습니다. 모호성을 해결할 방법이 있습니까? 예를

0열

1답변

SFINAE를 사용하여 정적 멤버를 검색하려는 시도가 작동하지 않는 이유는 무엇입니까?

방금 클래스의 데이터 멤버가 정적으로 정의되어 있는지 여부를 감지하는 템플릿을 만들었습니다. 회원의 접근성은이 게시물에서 우려 할 사항이 아닙니다 (회원이 템플릿을 통해 항상 액세스 할 수 있다고 가정). #include <conio.h> //#include <stdio.h> #include <iostream> struct A1 { i

0열

1답변

SFINAE를 사용하여 클래스가 동일하거나 C++ 98의 다른 템플릿 클래스에서 파생되었는지 확인

STL 컬렉션을 읽고 대신 resize() 및 operator[]() 메서드가있는 컬렉션에 메모리를 할당하려고합니다. std::insert_iterator. 또한 STL 컬렉션처럼 보이지만 몇 가지 기능이 구현되지 않을 수도 있습니다 (예 : insert(iterator, const_reference)). std::insert_iterator을 전혀 사용할

0열

1답변

VS2010 SFINAE 및 함수 오버로드 오류

이 코드는 VS2010을 제외한 모든 컴파일러에서 벌금을 컴파일합니다. 여기에 C++ 11의 특정 기능을 사용하지 않으려 고합니다. 따라서 gcc 4.1과 같은 오래된 컴파일러에서 컴파일 할 수 있습니다. #include <iostream> using namespace std; // Simplified variant class struct Var

3열

1답변

SFINAE 유형의 인스턴스화

C 언어의 Member Detector이라는 관용구를 보았습니다.이 특성은 클래스에 특정 이름의 멤버가 있는지 알려주는 유형 특성입니다. 그러나 형식이 클래스가 아닌 경우 기대했던대로 링크 된 예제가 작동하지 않습니다. 모든 클래스가 아닌 형식에 대해 false 결과를 원했습니다. 가능한 해결책은 확실히 boost::is_class<T>를 사용하여이 같은입

3열

1답변

정적 B 유형에서 A 유형을 생성 할 수 있음을 나타냅니다.

두 유형 A와 B에 대해 정적 어설 션을 수행하려고합니다. 클래스 A는 서명 A (B & b) 또는 A (const B & b)의 공용 생성자를 가져야합니다. 나는 공중 A (B & B) 또는 A (const를 B & B) 또는 A (B의 B)를가 존재하는 경우 true로 평가 is_constructable_from<A, B>::value의 종류의 일을