c++ - 将变量定义为自动限制

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”。那么，我怎样才能将它们结合起来呢？

---

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

Answer 1

由于评论中提出了一种解决方案，我将其张贴在这里以供将来引用； (添加使其健壮)

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

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

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