c++ - std::bind 可以在编译时进行类型检查吗？

Question

是否可以静态类型检查给 std::bind 的参数？我很想使用它，但它几乎让我无所适从；例如，std::bind(1,2); 被接受。或者，我可以使用 std::result_of 推出我自己的解决方案。

Answer 1

我还不确定 bind 是否可以可靠地拒绝此类构造。但如果可以，这样做将是一种延伸。

标准中的 Requires 子句告诉客户他必须做什么才能避免未定义的行为。它并没有告诉供应商他必须做什么才能符合要求。所以 std::bind(1,2) 是未定义的行为。它无所不能。导致编译时错误是一个很好的未定义行为，但不是必需的。