C++ 去掉const

关注

原创最新推荐文章于 2026-07-07 10:56:42 发布 2.7k 阅读 AI 写同款· GEO 优化 ›

C++ 语法 const限定符 const限定符是常用且容易混淆的概念，很多书中讲解不清晰，甚至《C++ primer》中都有一些错误的论断或者不明确的区分，本文对const限定符做归纳总结。一、在类型中顶层const和底层const是一个非常容易让人遗忘和混淆的概念，这里包括常量词性（即使名词常量，也是形容词常量的）和C++类型定义从右向左的释义顺序与日常语言从左向右理解的顺序差异造成的混淆。首先将常量指针和指向常... 阅读详情

#include <iostream>
#include <vector>



template<typename T>
class TypeTraits{
private:
    template<typename U> class UnConst{
        public:
            typedef U Result;
    };

    template<typename U> class UnConst<const U>{
        public:
            typedef U Result;
    };

public:
    typedef typename UnConst<T>::Result NonConstType;
};


template<typename T>
using NonConstType =  typename TypeTraits<T>::NonConstType;

template<typename T>
void Func(NonConstType<T> t) {
    std::string* nonP = &t; // ok
    std::string& nonR = t; // ok

    std::cout<<*nonP<<std::endl;
}

// 用于转发函数时，不需要根据参数有无const进行重载函数(函数体实现一样的函数)
template<typename T>
void ForwardFunc(NonConstType<T> t) {
    Func<T>(t);
}


void Test(){
    const int a = 10;
    TypeTraits<const int>::NonConstType noConstVar;

    // int& nonConstRef = a; // error not bind const int to int&
    // int* nonConstP = &a; // error, invaild conversion from const int* to int
    
    int *p = &noConstVar; // ok

    const std::string str("hello");
    ForwardFunc<const std::string>(str);
}


int main(){
    Test();
}