參考：http://zh.cppreference.com/w/cpp/language/expressions

不求值表達式：表達式在編譯期被使用，運行期無計算。例如：

#include <iostream>

int foo() noexcept {
    std::cout << "foo called ";
    return 0;
}

int main() 
{
    std::cout << typeid(foo()).name() << std::endl;
    std::cout << sizeof(foo()) << std::endl;
    std::cout 
 
<< noexcept(foo()) << std::endl;
    std::cout << decltype(foo()){123} << std::endl;
}

但是，typeid有個例：令 typeid(expr)， 當expr是廣義左值（glvalue）時，expr是對應的運行期計算的（runtime evaluation ）。例如：

class Base {
public:
    ~Base() {}
    virtual void foo() {}
};

class Derived : public Base{
public
 
:
    virtual void foo() {}
};

Derived d;

Base& test() {
    std::cout << "test() called \n";
    return d;
}

int main()
{
    std::cout << typeid(test()).name();
    return 0;
}

執行此程序時，會看到cout輸出：test() called. 如此行為的動機未明，還需要學習和查閱。

C++ 表達式