c++ - 带有 std::function 参数的重载运算符

Question

我正在研究多类型 map 架。它适用于所有原始类型以及结构，例如观点。但是，如果我想添加 std::function 作为另一个支持的类型(用于回调)，那么编译器会提示:

MT.cpp:426:15: No viable overloaded '='

MT.h:31:7: Candidate function (the implicit copy assignment operator) not viable: no known conversion from '(lambda at MT.cpp:426:17)' to 'const sharkLib::MT' for 1st argument

MT.h:31:7: Candidate function (the implicit move assignment operator) not viable: no known conversion from '(lambda at MT.cpp:426:17)' to 'sharkLib::MT' for 1st argument

我实际上并没有重载 = 运算符，而是为每个支持的类型使用专用构造函数重载 []。

.h

protected: 
    map<string,MT> valueMap;

public:
    MT (int value);
    MT (std::function<void(Ref*)> ccb);
    virtual MT& operator[] (const char* key);

.cpp

MT::MT (int value)
{
    this->type = ValueType::intValue;
    this->value.int_ = value;
}

MT::MT (std::function<void(Ref*)> value)
{
    this->type = ValueType::ccbValue;
    this->value.ccb_ = value;
}

MT& MT::operator[] (const char* key)
{
    return this->valueMap[key];
}

用法

MT mt;

mt["int"] = 1;
mt["ccb"] = [](Ref *){ CCLOG("Pressed"); };

最后一行是有错误的。

Answer 1

问题是您正在尝试使用双重转换序列:

1. 从 lambda 函数到 std::function<void(Ref*)>
2. 来自 std::function<void(Ref*)>至 MT

解决这个问题的方法是使用任何一种来消除双重转换的需要

mt["cast via function"] = static_cast<std::function<void(Ref*)>([](Ref*){ /*...*/ });
mt["cast via MT"] = MT([](Ref*){ /*...*/ });

如果要支持从函数类型到MT的转换你需要 MT 的构造函数它直接采用函数类型。假设您的其他构造函数都不是使用不受约束的模板编写的，您可以只添加

template <typename Fun>
MT::MT(Fun&& fun)
    : type(ValueType::ccbValue) {
    this->value.ccb = std::forward<Fun>(fun);
}

如果您已经在为另一种类型使用不受约束的模板，则需要使用合适的条件，例如std::is_convertible<Fun, std::function<void(Ref*)>>::value ，连同合适的 SFINAE 方法从重载集中删除相应的构造函数。