decltype은

Question

나는 다음과 같이 템플릿 클래스 내부 decltype를 사용하는 것을 시도하고있다 : 잘 작동

#include <functional> 
template <typename T> 
class A 
{ 
    typedef decltype(std::bind(&A::f, std::declval<A>())) some_type; 

    void f(); 
}; 

,하지만 지금은 명시 적 전문성을 추가하고 싶습니다 :

template <> 
class A<void> 
{ 
    typedef decltype(std::bind(&A::f, std::declval<A>())) some_type; 

    void f(); 
}; 

을

이번에는 g ++에서 오류를 제공합니다 :

test.cpp:14:33: error: incomplete type 'A<void>' used in nested name specifier 

내가 뭘 잘못하고 있니? 나는 gcc 4.5를 사용하고있다.

편집 : 요하네스 의해 제안 내가의 형식 정의 위에 void f();의 선언을 이동하면, 내가 할 (약간) 다른 오류 :

test.cpp:15:62: error: invalid use of incomplete type 'class A<void>' 
test.cpp:13:1: error: declaration of 'class A<void>' 
test.cpp:15:62: error: initializing argument 2 of 'std::_Bind<typename std::_Maybe_wrap_member_pointer<_Tp>::type(_ArgTypes ...)> std::bind(_Functor, _ArgTypes ...) [with _Functor = void (A<void>::*)(), _ArgTypes = {A<void>}, typename std::_Maybe_wrap_member_pointer<_Tp>::type = std::_Mem_fn<void (A<void>::*)()>]' 
test.cpp:15:62: error: invalid use of incomplete type 'class A<void>' 
test.cpp:13:1: error: declaration of 'class A<void>' 
test.cpp:15:62: error: initializing argument 2 of 'std::_Bind<typename std::_Maybe_wrap_member_pointer<_Tp>::type(_ArgTypes ...)> std::bind(_Functor, _ArgTypes ...) [with _Functor = void (A<void>::*)(), _ArgTypes = {A<void>}, typename std::_Maybe_wrap_member_pointer<_Tp>::type = std::_Mem_fn<void (A<void>::*)()>]' 

Answer 1

주문이 잘못된 것입니다. 기본 템플릿에서 그것을

template <> 
class A<void> 
{  
    void f(); 
    typedef decltype(std::bind(&A::f, std::declval<A>())) some_type; 
}; 

교환을 시도, 이름 A::f이 의존하고 A가를 의미하기 때문에 f 선언 한 점에 컴파일러 지연 조회 (A::f는 더 이상 C + +0 정말 의존하지 않는 현재 구체화의 한 부분에 현재 인스턴스화와 그에 대한 f이 있지만 현재 스펙 (종속 기본 클래스와 관련이 있음)에 허점이 있기 때문에 컴파일러는 룩업을 지연합니다. 명시 적 전문화에서는 이름이 종속되지 않고 조회가 즉시 수행되므로 참조하기 전에 f을 선언해야합니다.

편집 :std::bind을 잘못 사용하고 있습니다. 두 번째 인수는 A<void> 유형이며, 생성 된 호출 래퍼 객체에 std::bind에 의해 복사/이동됩니다. 이 경우 완전한 유형 A<void>이 필요합니다.

멤버 함수가 호출 된 A에 대한 참조를 전달하려는 경우 std::bind 메커니즘이 멤버 포인터 호출에 대한 마법의 첫 번째 인수로 동등하게 검색하는 declval<A*>()을 전달할 수 있습니다.

하지만 및 decltype 엉망이 아닌 std::function<>을보고 싶은 것 같습니다. 결국 당신은 강력한 도구 세트를 가지고 있지만,이 의심스러운 decltype 표현식을 사용하면 표준 라이브러리가 제공하는 모든 일반성을 버리고 그 단일 std::bind 표현의 사용을 제한 할 수 있습니다. 그건 좋지 않아.

Answer 2

std :: bind에는 A가 완전한 유형 (요하네스의 답변 참조)이 필요하므로이 시점에서 사용할 수 없습니다. 당신이 some_type이 will compile 캡슐화 경우이 문제를 해결 :

#include <functional> 

template <typename T> 
class A 
{ 
    void f(); 
    struct some_type_helper 
    { 
    typedef decltype(std::bind(&A::f, std::declval<A>())) some_type; 
    }; 
}; 

template <> 
class A<void> 
{ 
    void f(); 
    struct some_type_helper; 
}; 

struct A<void>::some_type_helper 
{ 
    typedef decltype(std::bind(&A::f, std::declval<A>())) some_type; 
};