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

Question

Is it possible to statically type check the arguments given to std::bind ? I'm tempted to use it, but it lets me away with almost anything; for example, std::bind(1,2); is accepted. Alternatively I could roll my own solution using std::result_of .

Answer 1

I'm not yet sure whether or not bind could be made to reliably reject such constructs or not. But if it can, doing so would be an extension.

A Requires clause in the standard is telling the client what he has to do to avoid undefined behavior. It is not telling the vendor what he has to do to be conforming. So std::bind(1,2) is undefined behavior. It could do anything. Causing a compile time error would be a nice undefined behavior to have, but is not required.