Question

我试图声明一个函数，该函数以以下方式将 const char * 转换为 std :: basic_string ：

#include <string>
#include <cstring>

#ifdef _MSC_VER
#include <tchar.h>
#else
#define TCHAR char
#endif

typedef TCHAR Char;

typedef std::basic_string<Char> String;

template <typename = typename std::enable_if< !std::is_same<Char, char>::value >::type >
inline String FromACString(const char * p_src)
{
    String dest(std::strlen(p_src), ' ');

    auto p_cur = p_src;

    for (auto & ch : dest)
    {
        ch = *p_cur++;
    }

    return dest;
}

template <typename = typename std::enable_if< std::is_same<Char, char>::value >::type >
inline String FromACString(const char * p_src)
{
    return p_src;
}

但是出现编译器错误。我的想法是要有两个重载，并根据TCHAR类型启用其中一个重载。正确的方法是什么？

VC2017的错误是：

error C2995: 'String FromACString(const char *)': function template has already been defined

Answer 1

Miles回答了您的enable_if出了什么问题。但是，可以通过使用enable_if来避免if constexpr的细微差别：

inline std::basic_string<TCHAR>
FromACString(const char * p_src)
{
    if constexpr (std::is_same_v<TCHAR, char>) {
        // logic for case where TCHAR is char
    } else {
        // logic for case where TCHAR isn't char
    }
}

PS。您将TCHAR转换为wchar_t（我认为这是除char之外唯一可能的其他类型），应该考虑字符编码。您可以使用mbsrtowcs。

Answer 2

您的代码有两个问题：

SFINAE仅在相关上下文中工作。由于typename std::enable_if<!std::is_same<Char, char>::value>::type中的任何内容都不依赖于任何模板参数，因此SFINAE不适用，并且由于std::enable_if<false>::type无效，您会遇到硬错误。
确定模板的“唯一性”时，仅考虑参数类型本身，而不考虑其默认值。您对功能模板template <typename> String FromACString(const char*)有两个定义，这是一个错误。

要解决第一个问题，您可以引入另一个模板参数，其默认值为Char。解决第二个问题的通常方法是使用enable_if表达式本身作为模板参数类型，而不是默认值。剩下的就是这样：

template <typename C = Char,
          std::enable_if_t<!std::is_same<C, char>::value>* = nullptr>
String FromACString(const char* p_src) {
    //...
}

template <typename C = Char,
          std::enable_if_t<std::is_same<C, char>::value>* = nullptr>
String FromACString(const char* p_src) {
    //...
}

Live Demo

现在，根据Char的定义方式，您最终得到一个带有签名的模板

template <typename, void*>
String FromACString(const char*);

另一种格式错误，因此被SFINAE禁用。

从ANSI字符串转换为std :: basic_string <tchar>的正确函数声明

2 个答案: