Question

问题

我正在实现一个类，我希望让用户通过模板参数选择字符串类型（std::string，std::wstring，std::u16string，...）。我目前无法使字符串文字 fit 成为所选的字符串类型：一旦我决定使用文字前缀（"hello"与L"hello"对比u"hello"与U"hello"），我收到所有不兼容的字符串类的编译错误。

玩具示例

作为示例，请考虑以下代码（使用--std=c++11编译）：

#include <string>

template<typename StringType>
void hello_string()
{
    StringType result("hello");
}

int main()
{
    // works
    hello_string<std::string>();
    hello_string<std::basic_string<char>>();

    // the code below does not compile
    hello_string<std::wstring>();
    hello_string<std::basic_string<unsigned char>>();
    hello_string<std::u16string>();
}

函数hello_string()显示了我想要做的事情的本质：将字符串类型作为模板参数，并将字符串文字分配给此类型的变量。

可能的解决方法

克服我的问题的一种方法是实现hello_string()函数的几个特化。问题是这会导致每个字符串文字的几个副本 - 每个字符串文字前缀一个。我觉得这很难看，而且必须有更好的方法。

另一种方法是选择＆＃34; normal＆＃34;字符串文字作为默认值，并且函数执行到不同字符串类型的转换。虽然这可以避免代码重复，但它会引入实际上不变的不必要的转换。

Answer 1

你可以让自己成为一个宏。首先定义一个包含char选择的结构：

namespace details {

    template<typename T>
    struct templ_text;

    template<>
    struct templ_text <char>
    {
        typedef char char_type;
        static const char_type * choose(const char * narrow, const wchar_t * wide, const char16_t* u16, const char32_t* u32) { return narrow; }
        static char_type choose(char narrow, wchar_t wide, char16_t u16, char32_t u32) { return narrow; }
    };

    template<>
    struct templ_text < wchar_t >
    {
        typedef wchar_t char_type;
        static const char_type* choose(const char * narrow, const wchar_t * wide, const char16_t* u16, const char32_t* u32) { return wide; }
        static char_type choose(char narrow, wchar_t wide, char16_t u16, char32_t u32) { return wide; }
    };

    template<>
    struct templ_text < char16_t >
    {
        typedef char16_t char_type;
        static const char_type* choose(const char * narrow, const wchar_t * wide, const char16_t* u16, const char32_t* u32) { return u16; }
        static char_type choose(char narrow, wchar_t wide, char16_t u16, char32_t u32) { return u16; }
    };

    template<>
    struct templ_text < char32_t >
    {
        typedef char32_t char_type;
        static const char_type* choose(const char * narrow, const wchar_t * wide, const char16_t* u16, const char32_t* u32) { return u32; }
        static char_type choose(char narrow, wchar_t wide, char16_t u16, char32_t u32) { return u32; }
    };
}

将它包装成漂亮的宏：

#define TEMPL_TEXT(Ch, txt) details::templ_text<Ch>::choose(txt, L##txt, u##txt, U##txt)

然后你的功能是：

template<typename StringType>
void hello_string()
{
    StringType result(TEMPL_TEXT(typename StringType::value_type, "Hello"));
}

我认为未使用的字符串副本将被优化掉。

为不同的字符串类拟合字符串文字

问题

玩具示例

可能的解决方法

1 个答案: