람다를 통해 변수 템플릿을 함수로 전달할 수 있습니까?

Question

나는 pass template function as template argument을 알고 있었기 때문에 비슷한 방식으로 변수 템플릿을 전달하기 위해 고심하고 있습니다. 이 컴파일하면

#define PASS_VARIABLE_TEMPLATE(name) [dummy=nullptr](auto&&...args) \ 
                {return name<decltype(args)...>;} 

//testing 
template <typename T> 
bool value = std::is_fundamental<T>::value; 

template <typename Hax> 
void print_bool(Hax h) 
{ 
    std::cout << h(int{}) << std::endl; // no error, wrong output 
    //std::cout << h(int{}, float{}) << std::endl; // error, good 
} 

int main() 
{ 
    print_bool(PASS_VARIABLE_TEMPLATE(value)); //prints 0 instead of 1 
} 

Demo

, 왜 출력이 잘못 : 여기

내가 뭘하려 최소한의 예입니다?

Answer 1

template<class T>struct tag_t{using type=T; constexpr tag_t(){}}; 
template<class Tag>using tagged_type=typename Tag::type; 
template<class T>constexpr tag_t<T> tag{}; 

이러한 도움말은 유형을 값으로 전달하고 압축을 풉니 다. print_bool 내부

#define PASS_VARIABLE_TEMPLATE(name) [](auto...args) \ 
               {return name<tagged_type<decltype(args)>...>;} 

은 당신이 할 :

std::cout << h(tag<int>) << std::endl; 

확실하지 당신이 dummy=nullptr 일을하는 이유.

tag은 템플릿을 변형 할 수 있습니다.

Answer 2

코드의 주된 문제는 람다가 인수를 받아들이 전달 참조을 사용하기 때문에 decltype이 rvalue 참조 (int&&)로 인수를 추론이다. std::is_fundamental은 베어 유형과 잘 작동합니다.

특정 스 니펫의 경우 올바른 해결책은 remove the reference입니다.

#define PASS_VARIABLE_TEMPLATE(name) \ 
    [dummy=nullptr](auto&&...args){return name<std::remove_reference_t<decltype(args)>...>;} 

이제 작동합니다. :-)이 Live On Coliru

---

A가 약간 더 이상 일반적인 방법에 추가로 remove cv 예선 될 것입니다 참조하십시오. 결국, 당신은 사용할 수 있습니다 std::decay

#define PASS_VARIABLE_TEMPLATE(name) [dummy=nullptr](auto&&...args) \ 
{return name<std::decay_t<decltype(args)>...>;}