Имя STL для функциональной функциональной программирования "карта"

Question

Я хотел бы иметь возможность написать что-то вроде

char f(char);
vector<char> bar;
vector<char> foo = map(f, bar);

То transform Функция, по-видимому, похожа, но она не будет автогенерировать размер результирующей коллекции.

Answer 1

Вы можете использовать std::back_inserter в <iterator>, хотя предоставление размера спереди более эффективно. Например:

string str = "hello world!", result;
transform(str.begin(), str.end(), back_inserter(result), ::toupper);
// result == "HELLO WORLD!"

Answer 2

Этот вопрос был задан до того, как стандарт C ++ вступил в силу ... в наши дни у нас есть std::transform() Как (уродливый) эквивалент функциональной программирования «карта». Вот как это использовать:

auto f(char) -> char; // or if you like: char f(char)
vector<char> bar;
vector<char> foo;
// ... initialize bar somehow ...
std::transform(bar.begin(), bar.end(), std::back_inserter(foo), f);

Answer 3

Чтобы сделать эту работу, вам понадобятся следующие наблюдения:

1. Сделать присвоение эффективным, map Функция должна нет выполнять работу. Вместо этого он должен сохранить свои аргументы во временном объекте (в вашем случае, это было бы экземпляром class map::result<char(*)(char), vector<char> >)
2. Этот map::result временный должен иметь template <typename T> operator T преобразование.
3. Когда map::result назначен std::vector<char>, Это преобразование является единственным жизнеспособным.
4. В операторе преобразования class map::result<char(*)(char), vector<char> >::operator vector<char> У вас есть тип ввода и возврата, а также функция сопоставления. На этом этапе вы можете эффективно преобразовать входы.

<edit>

Код

template<typename CONT, typename FUNC>
class mapresult {
    CONT const& in;
    FUNC f;
public:
    template<typename RESULT> RESULT to() const
    {
        RESULT out;
        for (auto const& e : in) { out.push_back(f(e)); }
        return out;
    }
    template<typename RESULT> operator RESULT() const
    {
        return this->to<RESULT>();
    }
    mapresult(CONT const& in, FUNC f) : in(in), f(std::move(f)) { }
};

template<typename CONT, typename FUNC>
auto map(CONT const& in, FUNC f) -> mapresult<CONT, FUNC>
{
    return mapresult<CONT, FUNC>(in, f);
}

Использовать следующее:

using namespace std;
char foo(char c) { return c | ('A' ^ 'a'); }
std::string in = "Test";

int main(int argc, char* argv[])
{
    string out = map(in, &foo);
    cout << out << endl;

    char replace = 'e';
    cout << map(in, [replace](char c){return c == replace ? '?' : c; }).to<string>();
}