テンプレート引数がvoidの場合はコンパイル時にチェック

Question

私が選択したときにエラーをチェックするためにWindows API関数をラップしようとしています。以前のSOの質問で分かったように、テンプレート関数を使用してAPI関数を呼び出し、GetLastError()を呼び出して設定したエラーを取得することができます。私はこのエラーを私のErrorクラスに渡して、私に知らせてもらうことができました。これは素晴らしい作品

int WINAPI someFunc (int param1, BOOL param2); //body not accessible 

int main() 
{ 
    int ret = someFunc (5, true); //works normally 
    int ret2 = Wrap (someFunc, 5, true); //same as above, but I'll get a message if there's an error 
} 

を次のように、この私は、コードを持って使用することで、

template<typename TRet, typename... TArgs> 
TRet Wrap(TRet(WINAPI *api)(TArgs...), TArgs... args) 
{ 
    TRet ret = api(args...); 
    //check for errors 
    return ret; 
} 

：

はここでテンプレート関数のコードです。しかし、1つの可能性のある問題があります。テンプレート関数にこれを下塗りすると、次のように見え、機能

void WINAPI someFunc(); 

してください：

void Wrap(void(WINAPI *api)()) 
{ 
    void ret = api(); //<-- ahem! Can't declare a variable of type void... 
    //check for errors 
    return ret; //<-- Can't return a value for void either 
} 

これを回避するために、私は私がvoidでTRetを置き換えテンプレートのバージョンを作成してみました。残念なことに、これは実際にどちらを使用するかのあいまいさを引き起こします。さておき、私は

if (strcmp (typeid (TRet).name(), "v") != 0) //typeid(void).name() == "v" 
{ 
    //do stuff with variable to return 
} 

else 
{ 
    //do stuff without returning anything 
} 

を使用してみましたが、typeidは、実行時の比較なので、コードはまだ原因も、それは決してならば、ボイド変数を宣言しようとしているにコンパイルされません

。

次に、typeidの代わりにstd::is_same <TRet, void>::valueを使用してみましたが、実行時の比較でもあることが判明しました。

この時点で、私は次に何を試すべきか分かりません。コンパイラが私がやっていることがうまく動作すると知っていると信じる可能性はありますか？私はWrapに余分な議論を付けても構いませんが、実際には何も得られませんでした。

私はCode :: BlocksをGNU G ++ 4.6.1、Windows XP、Windows 7と一緒に使用しています。助けてくれてありがとうございます。Wrapを使用しないで終わらなければならないと言っていますvoidを返す関数の場合

Answer 1

あなたは微調整の専門にヘルパークラスを使用することができます。

template <typename Res, typename... Args> 
Res Wrap(Res (WINAPI *f)(Args...), Args&& args...) 
{ 
    return wrapper<Res(Args...)>::wrap(f, std::forward<Args>(args)...); 
} 

注Resがvoid場合であっても、それが動作すること：

template <typename F> 
struct wrapper 
{}; 

template <typename Res, typename... Args> 
struct wrapper<Res(Args...)> 
{ 
    static Res wrap(Res (WINAPI *f)(Args...), Args&& args...) 
    { 
     Res r = f(std::forward<Args>(args)...); 
     // Blah blah 
     return r; 
    } 
}; 

template <typename... Args> 
struct wrapper<void(Args...)> 
{ 
    static void wrap(void (WINAPI *f)(Args...), Args&& args...) 
    { 
     f(std::forward<Args>(args)...); 
     // Blah blah 
    } 
}; 

さて、あなたはラッパーを書くことができます。 returnには、voidを返す関数でvoidを返す式が許可されています。

voidを返す関数の場合でも、Wrap(someFunc, 5, true)のように正しい型が導き出されます。

Answer 2

（戻り値の型に明確にすることはできません）動作しませんでした、ボイドとして戻り値の型を専門とするが、空に特化した理由を私は理解しに答えるにコメントから推進し、追加のパラメータが動作するはずです追加して、何が起こったのか？明示的な型で呼び出す必要があるかもしれません。

Answer 3

これを回避するために、私はTRetをvoidに置き換えたテンプレートのバージョンを作成しようとしました。残念なことに、これは実際にどちらを使用するかのあいまいさを引き起こします。

が作業する必要があることvoidがTRetより専門的なですが、ご指摘の通り、それはしませんので、私は、信じています。私は何かを逃しているかもしれませんが、どんな速度でも問題ではありません。TRet過負荷が選択されないようにすることができます。

template<typename TFun, typename... TArgs> 
auto Wrap(TFun api, TArgs&&... args) -> 
typename std::enable_if< 
    !std::is_void<typename std::result_of<TFun(TArgs...)>::type>::value, 
    typename std::result_of<TFun(TArgs...)>::type 
>::type 
{ 
    auto result = api(std::forward<TArgs&&>(args)...); 
    return result; 
} 

template<typename TFun, typename... TArgs> 
auto Wrap(TFun api, TArgs&&... args) -> 
typename std::enable_if< 
    std::is_void<typename std::result_of<TFun(TArgs...)>::type>::value, 
    typename std::result_of<TFun(TArgs...)>::type 
>::type 
{ 
    api(std::forward<TArgs&&>(args)...); 
} 

void WINAPI f1() 
{ 
} 

void WINAPI f2(double) 
{ 
} 

int WINAPI f3() 
{ 
    return 0; 
} 

int WINAPI f4(double) 
{ 
    return 0; 
} 

int main() { 
    Wrap(f1); 
    Wrap(f2, 0); 
    return Wrap(f3) * Wrap(f4, 0); 
} 

更新：パラメータタイプ引数の型からの変換を可能にするように調整されます。