공제

Question

는 이제 우리가이 같은 클래스 템플릿 있다고 가정 해 봅시다됩니다 컴파일러가 ::close에 대해이 정보를 알 수 있기 때문에 <int(int)>을 생략 할 수있는 방법이 있습니까? 템플릿의 "디자인"을 저장할 필요가 없습니다.

구체적인 작업은 클래스 템플릿을 디자인해야합니다. 이 클래스의 객체는 생성시이 함수에 대한 함수 및 매개 변수를 취할 수 있으며 나중에이 함수를 호출 할 수 있습니다.

Answer 1

아니요, 현재 (현재) 할 수 없습니다.

template<typename F, typename... Args> 
A<std::decay_t<F>> make_A (F &&f, Args&&... args) { 
    return {std::forward<F>(f), std::forward<Args>(args)...}; 
} 

C++ (17)가 정확히 당신이 원하는 일을 할 수 template argument deduction for class를 소개합니다 :이 일을의 표준 방법은 "make_like"기능 (예 : make_pair, make_optional을 ...) 만드는 것입니다. 당신은 단지에 공장을 작성해야, 그 전에

A a(::close, 1); 

: C++ 17에서 생성자에 대한 템플릿 매개 변수 공제의 채택에

Answer 2

템플릿 클래스의 인수를 기본값으로 설정하지 않으면 생략 할 수 없습니다. 당신이 할 수있는 것은 인수를 추론하고이 인수를 템플릿 클래스에 전달하여 적절한 인스턴스화의 객체를 반환하는 maker 함수를 갖는 것입니다.

template<typename F, typename... Args> 
A<F> make_A(F f, Args&&... args) { 
    return A<F>(f, std::forward<Args>(args)...); 
} 

Answer 3

덕분에, 당신은 쓸 수 있습니다 당신을 위해 공제를 수행

template <class F, class... Args> 
A<std::decay_t<F>> make_a(F&& f, Args&&... args) { 
    return {std::forward<F>(f), std::forward<Args>(args)...}; 
} 

auto a = make_a(::close, 1); 

이 좀 장황하지만, 적어도 당신의 효율성에 대해 걱정할 필요가 없습니다 - 여기 망막 정맥 폐쇄하는 감사를 만든 더 복사가되지 않습니다.