コンパイル時に、型名が関数型typenameであるかどうかをどのように判断できますか？

Question

は、Win32のランタイムダイナミックリンク機構の周りに、次のラッパーを考えてみましょう：

#include <boost/noncopyable.hpp> 
#include <windows.h> 
#include "Exception.hpp" 

namespace WindowsApi 
{ 
    class RuntimeDynamicLinker : boost::noncopyable 
    { 
     HMODULE hMod_; 
    public: 
     RuntimeDynamicLinker(const wchar_t * moduleName) 
     { 
      hMod_ = LoadLibraryW(moduleName); 
      if (hMod_ == 0) 
      { 
       Exception::Throw(GetLastError()); 
      } 
     } 
     template <typename T> 
     T GetFunction(const char* functionName) 
     { 
      FARPROC result = GetProcAddress(hMod_, functionName); 
      if (result == 0) 
      { 
       Exception::Throw(GetLastError()); 
      } 
      return reinterpret_cast<T>(result); 
     } 
     ~RuntimeDynamicLinker() 
     { 
      FreeLibrary(hMod_); 
     } 
    }; 
} 

そして、たとえばクライアント：誰もがGetFunction場所を使用しようとした場合

typedef NTSTATUS (NTAPI * NtQueryInformationProcess_t)(
    IN HANDLE, 
    IN PROCESS_INFORMATION_CLASS, 
    OUT PVOID, 
    IN ULONG, 
    OUT PULONG); 
RuntimeDynamicLinker ntdll(L"ntdll.dll"); 
NtQueryInformationProcess_t NtQueryInformationProcess = 
    ntdll.GetFunction<NtQueryInformationProcess_t>("NtQueryInformationProcess"); 

基本的に、私はエラーメッセージを追加したいですTは、関数ポインタ型以外のものです（なぜなら、私がここで強制的に使用するreinterpret_castはユーザエラーを隠す可能性があるからです）。

ブースト型形質を掘り起こすと、既存のis_functionテンプレートが見つかった。しかし、is_functionは関数への参照を受け入れます。私の場合はユーザエラーです（関数ポインタのみ）。

RuntimeDynamicLinker::GetFunction<T>()を修正して、Tが関数ポインタ型でない場合、合理的に理解できるコンパイラエラーメッセージを生成するにはどうすればよいですか？

（サイドノート：私はTMPのいずれかの種類をやったことがないので、TMPの通常のユーザーに「基本」です物事の上に行くことを恐れてはいけません）私はあなたが形質を使うことができると思い

Answer 1

:-)それらを把握する前に、私のために少し時間がかかりました。

Answer 2

クラス。

template <typename T> 
class IsFunctionPointer 
{ 
public: 
    bool isFunctionPointer(){return false;}; 
} 

typedef void (*MyFunctionPointer)(); 

template <> 
class IsFunctionPointer<MyFunctionPointer> 
{ 
public: 
    bool isFunctionPointer(){return true;}; 
} 

これはTrait classの基本的な考え方です。

編集：私は、形質を導入するためのいくつかの記事のリンクを広告します。 personnallyそれはあなたがstatic_assert/BOOST_STATIC_ASSERTでis_pointer<T>::value && is_function<remove_pointer<T>::type>::valueを使用することができ

http://accu.org/index.php/journals/442

Answer 3

あなたはそうのようなboost::enable_ifを使用することができます。

template <typename T> 
T GetFunction(const char* functionName, 
    typename boost::enable_if_c<boost::is_pointer<T>::value 
     && boost::is_function<typename boost::remove_pointer<T>::type>::value>::type* = 0) 
{ 
    .... 
} 

これが唯一のポインタと、関数であるテンプレートパラメータを許可します。他のものはコンパイル時に関数にバインドされません。

だから：

GetFunction<int(*)()>("foo"); // compiles properly 
GetFunction<int()>("foo"); // fails to compile