Question

我遇到了一些valarray函数指针代码的问题：

double (*fp)(double) = sin;
valarray<double> (*fp)(const valarray<double> &) = sin;

第一次编译，第二次编译：

error: no matches converting function 'sin' to type 'class std::valarray<double> (*)(const class std::valarray<double>&)'

Answer 1

使用__typeof__ GCC扩展编译。看起来像GCC的valarray使用表达模板来延迟窦的计算。但这会使sin模板的返回类型不完全是valarray<T>，而是一些奇怪的复杂类型。

#include <valarray>

template<typename T> struct id { typedef T type; };
int main() {
  using std::valarray;
  using std::sin;

  id<__typeof__(sin(valarray<double>()))>::type (*fp)(const valarray<double> &) = sin;
}

编辑请参阅AProgrammer的标准报价，了解为什么GCC可以做到这一点。

修改：符合标准的解决方法

以严格的标准符合方式在没有__typeof__的情况下执行此操作有点棘手。您需要获得sin的返回类型。您可以使用条件运算符作为Eric Niebler has shown。它的工作原理是sin函数实际上没有被调用，但只进行了类型检查。通过尝试将条件运算符的另一个分支（实际评估的分支）转换为相同的类型，我们可以生成一个伪参数，以便能够推导出函数指针的类型：

#include <valarray>

using std::valarray;

template<typename T> struct id {
  typedef T type;
};

struct ded_ty {
  template<typename T>
  operator id<T>() { return id<T>(); }
};

template<typename E, typename T>
id<T(*)(valarray<E> const&)> genFTy(T t) { 
  return id<T(*)(valarray<E> const&)>(); 
}

template<typename T>
void work(T fp, id<T>) {
  // T is the function pointer type, fp points
  // to the math function.
}

int main() {
  work(std::sin, 1 ? ded_ty() : genFTy<double>(std::sin(valarray<double>())));
}

如果您想立即获取地址，可以写work，然后再次返回fp。

template<typename T>
T addy(T fp, id<T>) { return fp; }

现在，您最终可以编写一个宏来封装条件运算符技巧，并在需要获取任何此类数学函数的地址时使用它。

#define DEDUCE(FN,Y) (1 ? ded_ty() : genFTy<Y>(FN(std::valarray<Y>())))

要获取地址并将其传递给某个通用函数，以下工作

std::transform(v1.begin(), v1.end(), v1.begin(),
  addy(std::sin, DEDUCE(std::sin, double)));
std::transform(v2.begin(), v2.end(), v2.begin(),
  addy(std::cos, DEDUCE(std::cos, double)));

Answer 2

26 3.1 / 3

任何返回valarray的函数都允许返回另一种类型的对象，如果valarray的所有const成员函数也适用于此类型。

目的是允许使用模板表达式来优化结果（即每次计算时在整个数组上循环一次，直接分配给生成的valarray＆lt;＆gt;而不是构建临时）。

z = sin(x+y);

可以优化到

for (i = 0; i < N; ++i)
   z[i] = sin(x[i] + y[i]);

Answer 3

您在标题中说std::sin，但随后分配::sin。

valarray<double> (*fp)(const valarray<double> &) = std::sin;

那应该有用。请注意，您应该限定sin的所有用法，尽管大多数实现都会将名称注入全局名称空间，即使您包含<cmath>（这是非标准行为）。

编辑：不幸的是，你运气不好。标准说明sin(valarray<T> const &)以下（26.3.3.3）。

此函数应返回T类型的值或明确的值转换为T型。

gcc执行的优化由标准授予。上述代码无法保证有效。

我如何引用std :: sin（const valarray <double>＆amp;）？</double>

3 个答案: