reference_wrapper 容器的 c++ 模板专业化

Question

#include "stdafx.h"

#include <algorithm>

class MyClass {
};

template <typename C, typename V, typename Enable = void>
static bool Contains(const C& container, const V& value) {
    auto iter = std::find(container.begin(), container.end(), value);
    auto result = (iter != container.end());
    return result;
}

template <typename C, typename V,
          typename std::enable_if<std::is_same<std::reference_wrapper<const V>, typename C::value_type>::value, bool>::type>
static bool Contains(const C& container, const V& value) {
    auto iter = std::find_if(container.begin(), container.end(), [&](auto& aValue) {
        return (aValue.get() == value);
    });
    auto result = (iter != container.end());
    return result;
}

int main() {
    const MyClass a;
    auto container = {
        std::reference_wrapper<const MyClass>(a),
    };
    Contains(container, a);
    return 0;
}

编译器：VC++2015U3

编译错误：

Severity Code Description Project File Line Suppression State Error C2678 binary '==': no operator found which takes a left-hand operand of type 'const std::reference_wrapper' (or there is no acceptable conversion) ConsoleApplication1 c:\program files (x86)\microsoft visual studio 14.0\vc\include\xutility 3258

它遇到第一个实现而不是第二个实现。

对此有什么想法吗？

Answer 1

您需要定义 operator == 来比较 class 个实例：

bool operator ==(MyClass const & left, MyClass const & right) { return false; }

此运算符将由 std::find 和 std::find_if 算法调用（在第二种情况下，而不是在 lambda return (aValue.get() == value); 内部）。

Answer 2

也许您还需要一个 operator==() 用于 MyClass 但是，要解决专业化问题，我认为最好使用显式专业化

template <template <typename...> class C, typename V>
static bool Contains (C<std::reference_wrapper<V const>> const & container,
                      V const & value) {
    auto iter = std::find_if(container.begin(), container.end(), [&](auto& aValue) {
        return (aValue.get() == value);
    });
    auto result = (iter != container.end());
    return result;
}

而不是 SFINAE。

因为如果你也让 SFINAE 工作以启用 reference-wrapper-container 版本，例如

template <typename C, typename V> 
static std::enable_if_t<std::is_same<std::reference_wrapper<const V>, 
                        typename C::value_type>::value, bool>
   Contains (const C& container, const V& value)

Contains() 函数的两个版本都匹配调用

 Contains(container, a);

而且没有一个是首选。

reference_wrapper 容器的 c++ 模板专业化

c++ template specialization for container of reference_wrapper

c++

templates

sfinae

template-specialization

c++14