3

我正在尝试编写一个通用过滤函数，该函数在多维数组（任意秩）中的给定采样坐标处执行线性插值。为此，我需要一个递归函数模板，它遍历数组的所有维度，直到找到一个值及其关联类型。我使用 boost::enable_if 来检测何时停止遍历维度。在我尝试将返回值/类型“渗透”到最顶层函数之前，它可以正常工作。为此，我尝试使用 C++0x 类型推断，但它似乎与 boost::enable_if 不能很好地混合。

我将问题分解为以下内容：

template< typename T, std::size_t I >
auto test(const T &t) -> typename boost::enable_if_c< (I == 0), typename T::value_type >::type
{
    return t[0];
}

template< typename T, std::size_t I >
auto test(const T &t) -> typename boost::enable_if_c< (I > 0), decltype(test< T, I - 1 >(T())) >::type
{
    return test< typename T::value_type, std::size_t(I - 1) >(t[0]);
}

编译器（GCC 4.6）抱怨以下代码：

typedef std::array< std::array< float, 1 >, 1 > myarray;
myarray ma;
std::cout << typeid (test< myarray, 1 >(ma)).name() << std::endl;

错误信息：

error: conversion from 'boost::enable_if_c<true, float>::type' to non-scalar type 'boost::enable_if_c<true, std::array<float, 1u> >::type' requested

似乎 decltype 使用来自 test< T, I > 的返回值，即使它被指示使用 test< T, I - 1 > 的返回值。知道为什么会发生这种行为吗？现在，它想我会把整个东西变成一个仿函数......

4

1 回答 1

4

问题是您将 T()（和 T）传递给 decltype。类型不会向下折叠。如果将返回表达式与传递给 decltype 的内容进行比较，就会清楚地发现这一点——它们是不一致的。

template< typename T, std::size_t I >
auto test(const T &t) -> typename boost::enable_if_c< (I > 0), decltype(test< T, I - 1 >(T())) >::type
{
    return test< typename T::value_type, std::size_t(I - 1) >(t[0]);
}

decltype: test<T

return expression: test< typename T::value_type

当像这样定义正向函数时，用于定义返回类型的 decltype 表达式应该几乎总是与实际的返回表达式完全相同。

编辑：我需要补充一点，当您实际上将传递左值时，您不应该传递右值，尤其是传递给模板，因为您最终可能会得到不同的结果。

于 2011-01-20T23:19:41.850 回答