Чтобы сделать эту работу, вам понадобятся следующие наблюдения:
- Чтобы сделать назначение эффективным, функция
map
должна не выполнять работу.Вместо этого он должен сохранить свои аргументы во временном объекте (в вашем случае это будет экземпляр class map::result<char(*)(char), vector<char> >
) - Этот временный
map::result
должен иметь преобразование template <typename T> operator T
. - Когда
map::result
назначено для std::vector<char>
, это преобразование является единственно возможным. - В операторе преобразования
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>();
}