为何std::bind无法与std::filesystem::path和std::ostream配合使用？

嘿，我来帮你拆解这个问题——你遇到的满屏模板错误其实是个常见的std::bind陷阱，根源很明确，解决起来也简单：

问题出在哪？ #

std::ostream（包括std::cout）是不可复制的类型，而std::bind默认会尝试复制你传入的所有实参。当你直接把std::cout传给std::bind时，它试图复制这个ostream对象，这直接触发了标准库中关于不可复制类型的编译限制——那些密密麻麻的模板错误本质上就是在抱怨“我没法复制std::ostream”，只是被模板展开的细节掩盖了真实问题。

修复代码 #

你只需要用std::ref来包装std::cout，让std::bind保存的是ostream的引用，而不是尝试复制它。修改后的bind()函数如下：

void Buggy::bind(){
    auto function = std::bind(&Buggy::something, std::placeholders::_1, std::ref(std::cout));
    function(std::filesystem::path("./"));
}

为什么std::ref能解决问题？ #

std::ref会创建一个引用包装器（std::reference_wrapper<std::ostream>），这个包装器是可复制的，刚好满足std::bind对实参的可复制要求。当你调用绑定后的函数对象时，引用包装器会自动解引用，把底层的std::cout传递给Buggy::something的第二个参数，完全符合函数的参数类型要求。

更推荐的替代方案：用Lambda表达式 #

如果你用的是C11及以上（你已经在用C17了），其实更建议用lambda表达式替代std::bind——它的语法更直观，也不容易踩这类引用/复制的坑，可读性和维护性都更强：

void Buggy::bind(){
    auto function = [](const std::filesystem::path& path) {
        Buggy::something(path, std::cout);
    };
    function(std::filesystem::path("./"));
}

这样写不仅避免了std::bind的模板晦涩问题，代码逻辑也一目了然。

内容的提问来源于stack exchange，提问作者john01dav