typeid 导致不同的编译器

Question

我在看下面video

这里提到g++会报错如下代码：

#include<vector>
#include<typeinfo>
#include<iostream>
struct S
{
    std::vector<std::string> b ;
};
int main()
{
    S s;
    std::cout << typeid(S::b).name();
}

error: invalid use of non-static data member ‘S::b’

但是我在msvc和clang下没有遇到这种错误。谁是对的，为什么？ 还有为什么改成

typeid(&S::b).name();

之后的结果正确吗？

Answer 1

Gcc 错误 (Bug 68604)。 S::b 是一个引用非静态数据成员的 id 表达式，它只能在未评估的上下文中使用。 Gcc 似乎未能将其视为未评估的表达式。

作为解决方法，您可以：

std::cout << typeid(decltype(S::b)).name();

注意在typeid(&S::b).name();中，&S::b给出了一个指向成员的指针；结果与使用S::b 不同。