比较模板函数中的类字符串类型

Question

我想编写一个仿函数，将类似字符串的类型与另一个进行比较。比较的一侧在初始化时设置一次并重复使用。

无论如何我想支持的类型是std::basic_string、std::basic_string_view 和char*，但其他像std::byte* 以及std::array 和std::vector 也很有趣。

我的第一个实现如下所示：

template<typename StringType>
class StrcmpAlgorithm {

    StringType pattern;

  public:
    StrcmpAlgorithm(const StringType& p) : pattern(p) {}

    template<typename InputString>
    bool operator()(const InputString& input)
    {
        return input == pattern;
    }
};

但是，这个解决方案非常有限，因为等于运算符的使用限制了我可以使用的类型，甚至可能做错事（例如与 C 字符串比较时）。

我不确定我应该如何处理这个问题。为呼叫操作员提供多个重载？使用 constexpr-if 并检查类型？

本质上，将比较的 lhs 设置为模板参数 (StringType) 并将 rhs 设置为不同的模板参数 (InputString) 会导致组合问题，即使 STL 已经提供了所有可能的比较。消除其中一个将使整个事情变得容易得多。但是对于pattern 成员，我至少需要能够存储具有不同字符宽度的字符串，以及在值和引用类型之间进行选择。

Answer 1

我认为通常最好的方法是模板专业化，这意味着模板类在 char*、std::array 等上的行为会有所不同。

注意，如果您有std::basic_string_view，那么您可以将您提到的所有类型转换为字符串视图，从而使用内置的比较功能。所以在你的情况下，我会实现它有点不同：

template<typename T>
std::string_view toStringView(const T& object)
{
    // covers containers (std::string_view, std::array, std::vector, std::string)
    return std::string_view(object.data(), object.size());
}

template<typename T>
std::string_view toStringView(const T* ptr)
{
    // Pointer, in this case you would need a null-terminator string.
    return std::string_view(reinterpret_cast<const char*>(ptr));
}

template<typename StringType>
class StrcmpAlgorithm {

    StringType pattern;

  public:
    StrcmpAlgorithm(StringType p) : pattern(std::move(p)) {}

    template<typename InputString>
    bool operator()(const InputString& input)
    {
        return toStringView(input) == toStringView(pattern);
    }
};

当然，这个例子可以而且应该被改进以支持std::wstring_view并在不兼容的类型（例如char**）上失败。