c++ - 如何为两个已经存在的类型创建重载？

Question

我目前正尝试在 C++ 中模拟管道，您可以通过管道将某些内容作为参数传递给 lambda 函数。

但是当我在运算符上创建全局重载时 |在 vector 和函数指针之间，我无法重新定义运算符，因为(我假设)你不能重载两种基本类型。

这是我一直在尝试的:

#include <iostream>

using namespace std;

void operator |( int *vet , void(*func)(int)){
    for ( int i = 0 ; i < 10 < i++){
        func(vet[i]);
}

int main(int argc, char **argv)
{
    int tab[10] =  { 1, 2, 3, 2, 3, 4, 6, 0, 1, 8 };

    tab | []( int x ) { cout << x*x << endl; };

    return 0;
}

我得到的错误是“错误:‘void operator|(int*, void (*)(int))’ must have an argument of class or enumerated type”

那么，我将如何着手重载 |数组和 lambda 函数之间的运算符？

提前致谢。

Answer 1

标准中已经有一个很好的表示函数对象的类:std::function .您可以使用它来满足运算符重载的要求(see it online):

#include <functional>

void operator |( int *vet , std::function<void(int)> func){
    for ( int i = 0 ; i < 10; i++){
        func(vet[i]);
    }
}

但是，您提出的语法确实很糟糕。对于任何了解 C++ 的读者来说，这看起来都是错误的。看到这个我的第一个想法是“有人打错了，把 | 放在了 = 上。另外，类型在哪里？”。另外，你不能真正将它用作管道，因为你不返回任何东西。管道第二次调用将返回对 operator |(void, [function_type]) 的调用。

命名函数可以忍受:

auto squarePrinter = []( int x ) { cout << x*x << endl; };
tab | squarePrinter;

但它仍然令人困惑 - 这不是 Bash 代码，是吗？

最佳和最具可读性的解决方案是使用标准中众所周知的函数和习语 - std::for_each ，正如一些程序员建议的那样，甚至是普通的 for 循环

#include <algorithm>

std::for_each(std::begin(tab), std::end(tab), []( int x ) { cout << x*x << endl; });