c++ - 在嵌套类型中保留 volatile

Question

template<typename T>
struct S {
    using type = T;
};

volatile S<int> s;

template<typename T>
void f(T& v) {
    using n = typename T::type;

    S<n>::_; // to show

}

int main() {
     f(s);
}

在f T推导为 volatile S<int> ，但是n是 只有int .我该怎么做才能保留 volatile ， 那是， 有 n是volatile int ？

Answer 1

using n = typename std::conditional< std::is_volatile<T>::value, 
            volatile typename T::type,
            typename T::type >::type;

如果 T 是 volatile，则将 volatile 添加到 n。