将变量定义为自动限制

Question

据我了解restrict，它将指针标记为对函数中特定数据的唯一引用。我经常看到它用在函数参数中，但这似乎也是有益的：

char *restrict a = get_some_string( );
char *restrict b = get_some_other_string( );

（因此编译器知道更改a 永远不会更改b，并且可以进行额外的优化）。

如果get_some_string返回一个很复杂的类型，似乎最好使用auto关键字；

auto a = get_some_string( );
auto b = get_some_other_string( );

但是使用auto restrict 会触发错误“restrict requires a pointer”。那么，我该如何结合这些呢？

---

如 cmets 中所述，restrict 不是 C++ 中的标准关键字；我忘记了我的项目中有一个 #define restrict __restrict__ 行，它适用于 GCC。

Answer 1

由于 cmets 已经提出了某种解决方案，我将在此处发布以供将来参考； （增加了使其健壮的功能）

typename std::remove_reference<decltype(get_some_string()[0])>::type *restrict a = get_some_string( );

这太可怕了。在这些情况下，我会坚持使用typedefs，但我可以想象在某些情况下可能需要这样的行为。有了宏，它就变得不那么可怕了：

#define decltype_restrict(x) typename std::remove_reference<decltype((x)[0])>::type *restrict
decltype_restrict(get_some_string()) a = get_some_string( );