テンプレート関数は

Question

実際の機能barは、データが正確に4バイトまたは8つのバイトに書き込まれるファイル、（unsigned intからDWORD又はDWORD64）から読み出すことになっているオーバーロード

void bar(DWORD64&); 
void bar(DWORD&); 

template<typename IntType> 
void foo(IntType& out) 
{ 
    bar(out); 
} 

int main() 
{ 
    int a; 
    foo(a); // Caller doesn't care 
} 

呼び出し側は、任意の整数型（int、LONG、DWORD、LONGLONGまたは何か）を渡すことができるので - 私は技術を必要foo 32ビットbarまたは64ビットbarに電話をかけることができるようになっています。要するに

、それは次のように次のようになります。

明らか

template<typename IntType> 
void foo(IntType& out) 
{ 
     if(sizeof(out)==sizeof(DWORD)) // 32-bit 
     { 
      DWORD data; 
      bar(data); // call DWORD version 
      out = (IntType)data; // Ignore truncation etc. 
     } 
     else 
     { 
      DWORD64 data; 
      bar(data); // call DWORD64 version 
      out = (IntType)data; // Ignore truncation etc. 
     } 
} 

、私はコンパイル時に解決される「場合」の部分をしたいです。 std::enable_ifまたは何か？

Answer 1

：

template<typename IntType> 
void foo(IntType& out) 
{ 
    typedef typename std::conditional<sizeof(IntType) == sizeof(DWORD), DWORD, DWORD64>::type RetType; 
    RetType data; 
    bar(data); 
    out = static_cast<IntType>(data); 
} 

Answer 2

あなたはタイプを選択しstd::conditionalを使用することができます。

template<typename IntType> 
void foo(IntType& out){ 
    using dword_t = typename std::conditional<sizeof(IntType) == sizeof(DWORD), DWORD, DWORD64>::type; 
    dword_t data; 
    bar(data); 
    out = (IntType)data; 
} 

demo

---

はC++ 17あなたはconstexpr ifを使用することができますが、是非、このアプローチは、実際にはもっとある場合、私はわからないんだけど可読性：

template<typename IntType> 
void foo(IntType& out) 
{ 
     if constexpr(sizeof(out)==sizeof(DWORD)) // 32-bit 
     { 
      DWORD data; 
      bar(data); // call DWORD version 
      out = (IntType)data; // Ignore truncation etc. 
     } 
     else 
     { 
      DWORD64 data; 
      bar(data); // call DWORD64 version 
      out = (IntType)data; // Ignore truncation etc. 
     } 
} 

demo

ユーザーは、（あなただけのものを2種類以上のものをサポートしたいので） sizeof(DWORD)と sizeof(DWORD64)のために異なるに std::conditionalを使用することができ

Answer 3

質問あなたはint16_tを渡された場合、あなたがしたいんさ符号拡張、ゼロフィル、またはエラー？

template <typename IntType> 
void foo (IntType * out) = delete; 

template <> 
void foo (uint64_t * out) { bar (* (DWORD64 *) out); } 

template <> 
void foo (int64_t * out) { bar (* (DWORD64 *) out); } 

template <> 
void foo (uint32_t * out) { bar (* (DWORD *) out); } 

template <> 
void foo (int32_t * out) { bar (* (DWORD *) out); } 

Answer 4

Soltuion 1：行うには

IMO正しい事はそうここに、テンプレート特殊とソリューションのエラーでSFINAEとstd::enable_if：

template<typename IntType, typename std::enable_if<sizeof(IntType) == 4>::type* = nullptr> 
void foo(IntType& out) 
{ 
    DWORD arg = out; 
    bar(arg); 
    out = arg; 
} 

template<typename IntType, typename std::enable_if<sizeof(IntType) == 8>::type* = nullptr> 
void foo(IntType& out) 
{ 
    DWORD64 arg = out; 
    bar(arg); 
    out = arg; 
} 

Soltuion 2：委任ツークラス部分的な専門化：

template<typename IntType> 
void foo(IntType& out) 
{ 
    foo_helper<IntType>::call(out); 
} 

template <class IntType, std::size_t Size = sizeof(IntType)> 
struct foo_helper; 

template <class IntType> 
struct foo_helper<IntType, 4> 
{ 
    static void call(IntType &out) 
    { 
    DWORD arg = out; 
    bar(arg); 
    out = arg; 
    } 
}; 

template <class IntType> 
struct foo_helper<IntType, 8> 
{ 
    static void call(IntType &out) 
    { 
    DWORD64 arg = out; 
    bar(arg); 
    out = arg; 
    } 
}; 

両方の溶液を特にargへの/からの割り当ての周りに、static_castが追加されました。