4

使用带有 tr1 服务包和英特尔 C++ 编译器 11.1.071 [IA-32] 的 Visual Studio 2008，这与我的另一个问题有关

我正在尝试为 c++ 编写一个功能映射，它的工作方式有点像 ruby​​ 版本

strings = [2,4].map { |e| e.to_s }

所以我在 VlcFunctional 命名空间中定义了以下函数

template<typename Container, typename U>
vector<U> map(const Container& container, std::tr1::function<U(Container::value_type)> f)
{
    vector<U> transformedValues(container.size());
    int index = -1; 
    BOOST_FOREACH(const auto& element, container)
    {
        transformedValues.at(++index) = f(element);
    }
    return transformedValues; 
}

你可以这样调用它（注意函数模板参数是显式定义的）：

vector<int> test;
test.push_back(2); test.push_back(4); 
vector<string> mappedData2 = VlcFunctional::map<vector<int>,string>(test, [](int i) -> string
{
    return ToString(i);
});

或者像这样（注意函数模板参数没有明确定义）

std::tr1::function f = [](int i) -> string { return ToString(i); };
vector<string> mappedData2 = VlcFunctional::map<vector<int>,string>(test, f);

但至关重要的是，不喜欢这样

vector<string> mappedData2 = VlcFunctional::map(test, [](int i) -> string { return ToString(i); });

如果没有明确定义 hte 模板参数，它不知道要使用哪个模板，并且会因编译错误而崩溃

 ..\tests\VlcFunctional_test.cpp(106): error: no instance of function template "VlcFunctional::map" matches the argument list, argument types are: (std::vector<int, std::allocator<int>>, __lambda3)

必须定义模板参数使其语法变得更加庞大，我的目标是在调用站点上尽量减少麻烦——关于为什么它不知道如何进行转换的任何想法？这是编译器问题还是语言不允许这种类型的模板参数推断？

4

1 回答 1

4

问题是std::function即使可以转换 lambda 也不是。推导类型参数时，不允许编译器对实际提供的参数执行转换。我会寻找一种方法让编译器检测类型U并让编译器释放第二个参数来推断：

template <typename Container, typename Functor>
std::vector< XXX > VlcFunctional::map( Container &, Functor )...

现在的问题是在 XXX 中写什么。我没有和你一样的编译器，所有的 C++0x 特性仍然有点棘手。我会首先尝试使用decltype：

template <typename Container, typename Functor>
auto VlcFunctional::map( Container & c, Functor f ) -> std::vector< decltype(f(*c.begin())) > ...

或者，如果编译器尚不支持，则可能是类型特征decltype。

另请注意，您正在编写的代码在 C++ 中非常单一。通常在操作容器时，函数是根据迭代器实现的，而你的整个地图基本上都是旧的std::transform：

std::vector<int> v = { 1, 2, 3, 4, 5 };
std::vector<std::string> s;
std::transform( v.begin(), v.end(), std::back_inserter(s), [](int x) { return ToString(x); } );

您的函数std::transform的 C++ 版本在哪里。map虽然语法比较麻烦，但优点是可以将其应用于任何容器，并将输出生成到任何其他容器，因此转换后的容器不固定为std::vector.

编辑：第三种方法，可能更容易使用您当前的编译器支持来实现是手动提供 lambda 的返回类型作为模板参数，并让编译器推断其余部分：

template <typename LambdaReturn, typename Container, typename Functor>
std::vector<LambdaReturn> map( Container const & c, Functor f )
{
   std::vector<LambdaReturn> ret;
   std::transform( c.begin(), c.end(), std::back_inserter(ret), f );
   return ret;
}
int main() {
   std::vector<int> v{ 1, 2, 3, 4, 5 };
   auto strs = map<std::string>( v, [](int x) {return ToString(x); });
}

即使您想在函数中添加语法糖，map当您可以使用现有功能时，也无需手动实现它。

于 2010-09-09T08:06:47.440 回答