如何使用is_transparent类型的比较器

Question

使用C++14，我们可以将某些关联容器（如std：：set）的元素与存储在容器中的元素以外的其他类型进行比较。当比较器is_transparent表示为类型时，它应该工作（参见例如std：：set：：find）。

假设我有一个字符串包装器，它对字符串执行一些检查（如果它的格式是有效的格式等等 - 不是很重要，但构造它足够重，我想避免它 + 它可以抛出异常）并且它存储在 std：：set 中以具有唯一值的容器。我应该如何为它编写比较器？它应该看起来像下面的那个吗？我可以超载并使用我的sw::operator<()来实现相同的目标吗？

class sw
{
public:
    explicit sw(const std::string& s) : s_(s) { /* dragons be here */ }
    const std::string& getString() const { return s_; }
    bool operator<(const sw& other) const { return s_ < other.s_; }
private:
    std::string s_;
};
struct Comparator
{
    using is_transparent = std::true_type;
    bool operator()(const sw& lhs, const std::string& rhs) const { return lhs.getString() < rhs; }
    bool operator()(const std::string& lhs, const sw& rhs) const { return lhs < rhs.getString(); }
    bool operator()(const sw& lhs, const sw& rhs) const { return lhs < rhs; }
};
int main() 
{
    std::set<sw, Comparator> swSet{ sw{"A"}, sw{"B"}, sw{"C"} };
    std::cout << std::boolalpha << (swSet.find(std::string("A")) != swSet.end()) << std::endl;
}

我相信上面的代码应该按预期工作，但是当我使用 g++4.9 和 clang++3.6 测试它时，两者都产生了关于缺少从 string 到 key_type 的转换的错误，就好像从未考虑过Comparator::operator()的字符串重载一样。我错过了什么吗？

Answer 1

是的，该代码是正确的，但是重载operator<以允许将您的类型与std::string进行比较，然后仅使用std::less<>（即 std::less<void> ）已经是"透明的"。

inline bool operator<(const sw& lhs, const std::string& rhs) { return lhs.getString() < rhs; }
inline bool operator<(const std::string& lhs, const sw& rhs) { return lhs < rhs.getString(); }
std::set<sw, std::less<>> swSet{ sw{"A"}, sw{"B"}, sw{"C"} };

此外，可能值得注意的是，无论您定义什么is_transparent，其中任何一个都会与您对它的定义具有相同的效果：

using is_transparent = std::false_type;
using is_transparent = void;