限制(放大器)功能的默认参数

Question

以下代码无法编译.错误消息是:

错误1:

error C3930: 'foo' : no overloaded function has restriction specifiers that are compatible with the ambient context ''

错误2:

error C2660: 'f1' : function does not take 0 arguments

错误3:

IntelliSense: amp-restricted function "int foo() restrict(amp)" (declared at line 5) must be called from an amp-restricted function

该程序:

#include <amp.h>
#include <iostream>
using namespace std;

int foo() restrict(amp) { return 5; }

int f1(int x = foo()) restrict(amp) {
  return x;
}

int main()
{
  using namespace concurrency;

  int a[10] = {0};
  array_view<int> av(10, a);

  parallel_for_each(av.extent, [=](index<1> i) restrict(amp) {
    av[i] = f1();
  });

  for(unsigned i=0; i<10; ++i) {
    cout << av[i] << "\n";
  }
  return 0;
}

奇怪的是,当我删除restrict(amp)on foo(),并用f1()lambda 替换lambda中的调用时5,程序编译得很好.那么在放大器函数的默认参数中,函数调用的规则是什么？

Answer 1

MSDN 论坛问题的解答。

我们选择的默认参数的语义与 C++ 的总体前提一致，即程序的解析是在一次从左到右的传递中完成的（尽管这一规则很少有重大例外，最值得注意的是成员函数） - 因此，限制说明符在函数参数声明之后读取，位于默认参数表达式中的任何函数调用都根据“外部”限制规范进行绑定，无论好坏。换句话说，您从一开始就使用 cpu 限制“active”（因为它是默认限制）读取程序，并针对“restrict(X)”和“}”之间的所有内容切换到限制 X，关闭相关范围。