템플릿 함수가 람다의 주장을 추론 할 수 있습니까? 다음과 같이 그 함수 포인터의 인수를 추론 할 수있는 함수 포인터를 취

Question

템플릿 기반 기능 :

template<class... Args> 
void func(void (*ptr)(Args&& ...)) { 
    //Do something useful knowing the Args... 
} 

당신이 인수로 람다와 동일 할 수있다; std::function에 의존하거나 function_traits와 같은 메타 프로그래밍 특성 클래스를 쓰지 않고? 함수를 사용하여 인수를 추론합니다.

Answer 1

아니요, 불가능합니다. 템플릿 인수 공제 만 예에서와 같이 void(*)(Args&&...)에서 void 및 Args...을 추론하거나 T(&)[N]에서 T 및 N을 추론, 예를 들어, 인수 형식의 "구조적으로"일부 유형, 상수 및 템플릿을 추론 할 수있다. 유형에 나타나지 않는 것을 추론 할 수는 없습니다.

비 다형성 람다 유형 T의 경우 &T::operator() 유형에는 람다의 인수 유형에 대한 정보가 있습니다. 그러나 T 자체는 그렇지 않습니다.