如何防止 std::function 到 c++ function 过载中的布尔转换？

Question

如何防止std::function到 C++ function 过载中的bool转换？ 如

class Object final {
    
public:
    Object(bool boolean) : type_(22)  {}  //#1
    Object(const std::function<int(int*, int)>  value) : type_(11) {}  //#2
    
    int rettype() { return type_; };
    
private:
    int type_;
};


int Println(int *args, int nargs) {
  printf("Println\n");
  return 0;
}

int main() {
    cout << Object(Println).rettype() << endl; // 22
    cout << Object(std::function<int(int*, int)>(Println)).rettype() << endl; // 11
}

我想通过Object(Println)而不是Object(std::function<int(int*, int)>(Println))调用#2 ，但结果是调用了#1

我应该如何实现这一目标？

Answer 1

现代 C++ 解决方案将是Object::Object(std::invocable<int*, int> auto f)

您并不关心 f 的确切类型是什么-从您认为std::function<int(int*, int)>和int(*)(int*, int)>可互换的事实中可以清楚地看出这一点。 std::invocable比这更一般：它说任何可调用的东西也可以。 lambda 也可以。

Answer 2

添加一个 function 指针构造函数怎么样？

Object(int (*value)(int*, int)) : Object(std::function<int(int*, int)>(value)) {}

您还可以给 function 类型起别名：

using FunctionType = int (*)(int*, int);
Object(FunctionType value) : Object(std::function<int(int*, int)>(value)) {}

Answer 3

为什么不是模板化构造函数，它要求传递的类型可转换为所需的 function 类型？

    template<typename F,
             typename std::enable_if<std::is_convertible<F, std::function<int(int*, int)>>::value, bool>::type = true>
    Object(const F&) : type_(11) {}

（与-std=c++11一起使用。 ）

优点是您甚至不必在运行时真正拥有任何std::function object 。 您只需在编译时检查它是否可以转换为它，然后您可以按原样使用可调用对象，例如 function 指针、lambda 或其他。

Answer 4

你只能使用一个构造函数，但是你想在里面做什么模板和 select

template<class T>
Object(T t) {
    if( std::is_same_v<T,bool>::value )
    {
        type_ = 22;
    }
    else
    {
        type_ = 11;
    }
}

演示 17+： https://wandbox.org/permlink/0eMXkH1l8HzbdfC0
演示 11： https://wandbox.org/permlink/rOP4JRAP2Ywb1osf
成员初始化列表中的演示 11： https://wandbox.org/permlink/6QDD4Vdo9TaqU4fT

它只是一个 POC，您可能需要检查该类型是否是您想要的类型，如果它不是您所期望的则失败。

Answer 5

检查编译器警告

警告：'int Println(int*, int)' 的地址永远不会是 NULL [-Waddress]

这意味着 function 指针自动自动转换boolean整数类型。

为了防止这种情况，您可以通过附加类型推导说明符处理 function 指针类型。 std::function 是一个功能 object 例如仿函数，而不是原始 C ZC1C425268E683894F1AB4 构造函数和 417 转换指针

例如：

例如：

#include <iostream>
#include <functional>

class Object final {

public:
    explicit Object(bool boolean) : type_(22)  {}  //#1
    explicit Object(int(*)(int*,int)) : type_(11) {}
    explicit Object(const std::function<int(int*, int)>&  value) : type_(11) {}  //#2

    int rettype() { return type_; };

private:
    int type_;
};

int Println(int *args, int nargs)
{
  std::cout << "Println" << std::endl;
  return 0;
}

struct PrintLine
{
    int operator()(int*, int)
    {
        std::cout << "PrintLine" << std::endl;
        return 0;
    }
};

int main(int argc, const char** argv)
{
    std::cout << Object(Println).rettype() << std::endl; // 11
    PrintLine pl;
    std::cout << Object(pl).rettype() << std::endl; // 11
    std::cout << Object(1).rettype() << std::endl; // 22
    return 0;
}