유형이 아닌 템플릿 매개 변수 ... 템플릿입니다. (C++)

Question

기본적으로 형식을 수동으로 지정하지 않고도 제네릭 C 함수에 대한 래퍼를 생성하려고합니다. 그래서 고정 된 프로토 타입으로 콜백을 가지고 있지만 래퍼 함수의 유형에 따라 래퍼에서 특별한 코드를 수행해야 할 것입니다. 그래서 기본적으로 클래스 템플릿에서 정적 메서드를 사용하려고합니다.

// this is what we want the wrapped function to look like 
typedef void (*callback)(int); 
void foobar(float x); // wrappee 

// doesn't compile 
template< T (*f)(S) > // non-type template param, it's a function ptr 
struct Wrapper 
{ 
    static void wrapped(int x) 
    { 
    // do a bunch of other stuff here 
    f(static_cast<S>(x)); // call wrapped function, ignore result 

    } 
} 

를 그리고 내가 좋아하는 일을하고 싶습니다 : 규격에 부합하는 인터페이스 예를 들어 내 기능을 포장하는

AddCallback(Wrapper<foobar>::wrapped); 

그러나, 문제는 내가 그냥 앞서 및 사용에 갈 수 있다는 것입니다 래퍼 템플릿의 함수 매개 변수에 "S"가 있으면 먼저 매개 변수로 나열해야합니다.

template< class T, class S, T (*f)(S) > 
struct Wrapper 
// ... 

그러나이 말은()을 사용하는 것이 훨씬 더 고통 스럽다는 것을 의미합니다. 이상적으로는 함수 포인터를 전달하고 매개 변수의 유형 (및 반환 유형)을 자동으로 처리하고 싶습니다. 명확하게 말하면, 래핑 된 함수 내에서 함수 포인터의 유형을 참조해야 할 것입니다 (그래서 나는 S 또는 T와 동등한 것이 필요합니다).

이 방법이 있습니까?

Answer 1

"wrapped"를 직접 참조하지 않고 반환하는 함수를 사용하는 경우 컴파일러는 함수 호출에 대한 템플릿 매개 변수를 자동으로 일치 시키려고 시도합니다.

편집 : 이것에 대해.

int foobar(float x); // wrappee 

template <typename T, typename S> 
struct Wrapper { 
    typedef T (*F)(S); 
    F f; 

    Wrapper(F f) : f(f) { } 

    void wrapped(S x) { 
     // do a bunch of other stuff here 
     f(x); // call wrapped function, ignore result 
    } 
}; 

template <typename T, typename S> 
Wrapper<T,S> getWrapper(T (*f)(S)) { 
    return Wrapper<T,S>(f); 
} 

... 
getWrapper(foobar).wrapped(7); 

Answer 2

편집 : 완전히 새로운 대답

OK, 나는 완전히 질문을 다시 생각 난 당신이 원하는 것을 얻을 수 있다고 생각했습니다. 나는 전에 이것을 실제로했다 :-P.

다음은 개념입니다. operator()를 오버로드하는 Base 클래스가 있고 함수의 각 "arity"에 대한 하위 클래스가 있습니다. 마지막으로 나는이 중 하나를 리턴 할 팩토리 함수를 가지고있다. 코드는 크고 (아마도 약간의 잔인 함이 있지만) 멋지게 작동합니다. 대부분의 library_function 오버로드는 다른 구문을 지원하며 대개 불필요합니다. 또한 boost::bind 함수, 멤버 함수 등을 지원합니다.

http://pastebin.com/m35af190

예, 사용은 :

// map of library functions which will return an int. 
std::map<std::string, LibraryFunction<int> > functions; 

// function to register stuff in the map 
void registerFunction(const std::string &name, LibraryFunction<int> func) { 
    functions.insert(std::make_pair(name, func)); 
} 

나중에는이 작업을 수행 할 수 있습니다

// the this param is so the function has access to the scripting engine and can pop off the parameters, you can easily chop it out 

// register 2 functions, one with no params, one with 1 param 
registerFunction("my_function", library_function1(*this, call_my_function)); 
registerFunction("my_function2", library_function0(*this, call_my_function2)); 

functions["my_function"](); 
functions["my_function2"](); 

Answer 3

나는 부스트보고 싶은데. 귀하의 질문에 대한 첫 번째 읽기에서 그것은 내게 보이는 것보다 <boost/function_types/parameter_types.hpp> 귀하의 필요를 제공합니다.

Answer 4

당신이 고려하고 싶은 한 가지 점은 런타임시 적절한 트램펄린 기능을 생성하기 위해 LLVM 또는 유사한 것을 사용하는 것입니다.또는 정적 솔루션은 다음과 같습니다.

#include <iostream> 

void f(float f) { std::cout << f << std::endl; } 

template<typename T, typename S> struct static_function_adapter { 
     template<T(*f)(S)> struct adapt_container { 
       static void callback(int v) { 
         f(static_cast<S>(v)); 
       } 
     }; 

     template<T(*f)(S)> adapt_container<f> adapt() const { 
       return adapt_container<f>(); 
     } 
}; 

template<typename T, typename S> struct static_function_adapter<T, S> get_adapter(T (*)(S)) { 
     return static_function_adapter<T, S>(); 
} 

#define ADAPTED_FUNCTION(f) (&get_adapter(f).adapt<f>().callback) 

int main() { 
     void (*adapted)(int) = ADAPTED_FUNCTION(f); 
     adapted(42); 
     return 0; 
} 

get_adapter 함수를 사용하면 인수와 반환 유형을 추론 할 수 있습니다. 그런 다음 adapt()를 실제 함수에서 매개 변수화 된 유형으로 변환하고 마지막으로 콜백에서 정적 함수를 얻습니다.