c++11中的关键字typeof答案

【问题标题】：Keyword typeof in c++11c++11中的关键字typeof
【发布时间】：2016-06-06 15:09:21
【问题描述】：

我知道：

在 C++11 中是否已弃用 typeof 这个词？也就是说，在使用 C++11 时，是否还允许将其作为 gcc 扩展使用？
说用decltype 替换每个typeof 会产生相同的代码行为是否正确？
假设我有template<typename T> class wrapper。声明wrapper_some_field 的最佳方式是什么，它相当于：Wrapper<typeof(some_field)> wrapper_some_field

【问题讨论】：

不存在的东西怎么会被弃用？
我编辑解释我的意思
2.参考stackoverflow.com/questions/14130774/…
(1) 不，是的。 (2) 没有。 (3) 将decltype 与std::remove... 一起使用，具体取决于typeof 相对于decltype 产生的内容。

【解决方案1】：

typeof 这个词在 C++11 中被弃用了吗？也就是说，在使用C++11的时候，是否还允许作为gcc扩展使用？

它没有弃用。它从未作为关键字存在。 gcc suggests 如果你使用 -std=c++** 编译，你会使用 __typeof__。

用decltype 替换每个typeof 是否会产生相同的代码行为？

没有。例如，给定：

int& foo();

decltype(foo()) 是 int& 但 __typeof__(foo()) 是 int。

假设我有template<typename T> class wrapper。 [...]

你可以写wrapper<std::remove_reference_t<decltype(some_field)>> wrap{some_field}，但是写一个构造函数模板会更简洁：

template <class T> wrapper<T> make_wrapper(T const& val) { return {val}; }
auto wrap = make_wrapper(some_field);

或者，通过转发：

template <class T>
wrapper<std::decay_t<T>> make_wrapper(T&& val) {
    return {std::forward<T>(val)};
}

虽然在 C++17 中你根本不会这样做，只会使用类模板参数推导：

template <class T> struct wrapper { T t; };
template <class T> wrapper(T) -> wrapper<T>;
auto wrap = wrapper{42}; // wrap is a wrapper<int>

而在 C++20 中，你甚至不需要演绎指南。

【讨论】：

【解决方案2】：

#define typeof(...) std::remove_reference_t<decltype(__VA_ARGS__)>;

但是，如果您想为类型 T 创建存储，在 C++11 中执行此操作的方法是使用 std::decay_t，或者在某些情况下编写您自己的扩展，将 C 样式数组存储到std::array。

Wrapper<std::decay_t<T>> wrapper_some_field;

如果你想传递Wrapper 一个适合存储在其中的类型。

decay 删除引用，将函数转换为指向函数的指针，将 T 的数组转换为指向 T 的指针，然后删除顶级 const 和 volatile。这些操作类似于将事物作为“衰减到指针/值”操作的一部分传递给函数时发生的操作。

结果是“适合存储”的类型。如前所述，我希望 int[4] 衰减到 std::array<int,4> 但你不能拥有所有东西。

【讨论】：