需要一些模板编程帮助

Question

我正在尝试扩展我的模板编程技能，但我遇到了一个我没有找到正确解决方案的问题。 这是一个个人培训练习，只是为了做一些更高级的模板。

目标是：编写一个模板，根据格式 sring 的类型将任何整数类型（使用 sprintf 或 swprintf）转换为 string 或 wstring。 不需要进行错误检查（目前为止）。

问题是当格式指定为 (const char*) NULL 或 (const wchar_t*) NULL 时，

我需要提供一个默认的 LITERAL 值作为 " %i" 或 L"%i" 为此，我需要确定格式变量的字符类型。 我现在正在使用一个函数，使用 SFINAE。 不过，我想为此使用一个变量，但我认为 SFINAY 不适用于变量（或者我错了）。

到目前为止，这是我的（工作）代码：

////////////////////////////////////////////////////////////////////////////////

template < typename T ,typename I > 
inline 
typename std::enable_if< std::is_same< T ,char >::value ,int >::type 
str_printf ( T* szBuff ,int iLen ,const T* szFrmt ,I iNum )
{ return sprintf_s( szBuff ,iLen ,szFrmt ,iNum ); }

template < typename T ,typename I > 
inline 
typename std::enable_if< std::is_same< T ,wchar_t >::value ,int >::type 
str_printf ( T* szBuff ,int iLen ,const T* szFrmt ,I iNum )
{ return swprintf_s( szBuff ,iLen ,szFrmt ,iNum ); }

////////////////////////////////////////////////////////////////////////////////

template < typename T > 
inline 
typename std::enable_if< std::is_same< T ,char >::value ,const char* >::type 
Dflt_Frmt ()    { return "%i"; }

template < typename T > 
inline 
typename std::enable_if< std::is_same< T ,wchar_t >::value ,const wchar_t* >::type 
Dflt_Frmt ()    { return L"%i"; }

////////////////////////////////////////////////////////////////////////////////

template < typename T ,typename I > 
inline 
std::basic_string< T ,std::char_traits < T > > 
to_string ( I iNum ,const T* pszFrmt )
{
    const int iLen (65);
    T szBuff [iLen] = {0};

    std::basic_string< T ,std::char_traits < T > > frmt ((pszFrmt && (*pszFrmt)) ? pszFrmt : Dflt_Frmt<T>() );
    str_printf( szBuff ,iLen ,frmt.c_str() ,iNum );

    return szBuff;
}

////////////////////////////////////////////////////////////////////////////////

这就是我想做的（显然它不起作用）

////////////////////////////////////////////////////////////////////////////////

template < typename T ,typename I > 
inline 
std::basic_string< T ,std::char_traits < T > > 
to_string ( I iNum ,const T* pszFrmt )
{
    const int iLen (65);
    T szBuff [iLen] = {0};

    // declare a Variable of const T* and initialie it with "%i" or L"%i"
    typename std::enable_if< std::is_same< T ,char >::value      ,const char* >::type        dft("%i");
    typename std::enable_if< std::is_same< T ,wchar_t >::value   ,const wchar_t* >::type     dft (L"%i");
    // doesn't work (error : type is not a member of std::enable_if< ... > !

    std::basic_string< T ,std::char_traits < T > > frmt ((pszFrmt && (*pszFrmt)) ? pszFrmt : dft );

    str_printf( szBuff ,iLen ,frmt.c_str() ,iNum );

    return szBuff;
}

////////////////////////////////////////////////////////////////////////////////

我可以以类似的方式执行此操作还是工作版本是最好的方法？ 或者如何做到这一点>

我不需要使用字符串流的建议（这不是这个问题的目的）。

使用 MSVS 2010（抱歉，没有提升）。

谢谢。

Answer 1

坦率地说，这是我能想到的唯一解决方案：

template <typename T> struct Dft { static const T* value; };
template <> const char* Dft<char>::value = "%i";
template <> const wchar_t* Dft<wchar_t>::value = L"%i";

template < typename T ,typename I > 
inline 
std::basic_string< T ,std::char_traits < T > > 
to_string ( I iNum ,const T* pszFrmt )
{
    const int iLen (65);
    T szBuff [iLen] = {0};

    std::basic_string< T ,std::char_traits < T > > frmt ((pszFrmt && (*pszFrmt)) ? pszFrmt : Dft<T>::value );

    str_printf( szBuff ,iLen ,frmt.c_str() ,iNum );

    return szBuff;
};

它并不漂亮，但它有效。

Answer 2

您在第二个代码块中使用 enable_if 会变成硬错误，因为您没有在模板签名中使用它。您可能需要诸如 boost::mpl::if_ 之类的东西来计算变量 dft 的类型；我相信您可以从窄字符串转换为宽字符串，以使您的格式在这两种情况下都能工作。

Answer 3

IMO，你在这里尝试做的事情是相当无望的。 “%i”转换仅适用于整数，不适用于（例如）浮点类型，因此您的代码仅在 I 为 int^{1。对于任何其他类型，用户必须传递一个（正确的）格式字符串以使代码具有定义的行为。目前，我将忽略这个问题，并假设用户在 I 不是 int 时传递（正确的）格式字符串。}

虽然您将来可能想扩展到其他一些东西，但现在对于格式字符串的类型实际上只有两种可能： char * 或 wchar_t *。既然如此，处理事情的正确方法似乎是简单的重载（或者专业化，如果你坚持的话）：

template <class T>
std::string to_string(T val, char *fmt = "%i") { 
    // for the moment using `sprintf`, simply because every knows it -- not really
    // advising its use in production code.
    char buffer[256];
    sprintf(buffer, fmt, val);
    return std::string(buffer);
}

template <class T>
std::wstring to_string(T val, wchar_t *fmt = L"%i") { 
    wchar_t buffer[256];
    wsprintf(buffer, fmt, val);
    return std::wstring(buffer);
}

现在，你本质上正在做一个“切换类型”，这几乎总是可以避免的（并且通常最好避免）在 C++ 中。您在编译时而不是运行时执行此操作（或无论如何尝试）的小细节并没有真正改变这一点。

¹好吧，您可能会说，如果I是unsigned int并且值为在可以表示为 int 的范围内，但这大约是您可以期望的最好结果（即使这是非常值得怀疑的）。