从 C++11 到 C++20 演进路线

定义与作用

现代 C++ 始于 C++11，经历了 C++14（增量修复）、C++17（质量提升）和 C++20（范式变革）三个里程碑。理解演进路线有助于选择合适标准、规划项目迁移。

核心原理

版本演进脉络

关键特性演进

完整示例

示例一：同一需求四代写法对比

场景说明：飞翔科技的用户查询系统，对比从 C++11 到 C++20 的进化。

#include <iostream>
#include <vector>
#include <string>
#include <algorithm>
#include <map>

struct User {
    int id;
    std::string name;
    std::string role;
};

// ============================================================
// C++11 写法：手动迭代 + 显式类型
// ============================================================
namespace cpp11 {
    std::vector<User> findAdmins(const std::vector<User>& users) {
        std::vector<User> result;
        for (std::vector<User>::const_iterator it = users.begin();
             it != users.end(); ++it) {
            if (it->role == "Admin")
                result.push_back(*it);
        }
        return result;
    }

    void print(const std::vector<User>& users) {
        for (auto it = users.begin(); it != users.end(); ++it)
            std::cout << "  [" << it->id << "] " << it->name << "\n";
    }
}

// ============================================================
// C++14 写法：泛型 lambda + for-range
// ============================================================
namespace cpp14 {
    auto findAdmins(const std::vector<User>& users) {
        std::vector<User> result;
        std::copy_if(users.begin(), users.end(), std::back_inserter(result),
            [](const auto& u) { return u.role == "Admin"; });
        return result;
    }

    void print(const std::vector<User>& users) {
        for (const auto& u : users)
            std::cout << "  [" << u.id << "] " << u.name << "\n";
    }
}

// ============================================================
// C++17 写法：结构化绑定 + if 初始化
// ============================================================
namespace cpp17 {
    auto findAdmins(const std::vector<User>& users) {
        std::vector<User> result;
        std::copy_if(users.begin(), users.end(), std::back_inserter(result),
            [](const auto& u) { return u.role == "Admin"; });
        return result;
    }

    void print(const std::vector<User>& users) {
        for (const auto& [id, name, role] : users)  // 结构化绑定
            std::cout << "  [" << id << "] " << name
                      << (role == "Admin" ? " *" : "") << "\n";
    }
}

// ============================================================
// C++20 写法：Ranges + Concepts
// ============================================================
namespace cpp20 {
    auto findAdmins(const std::vector<User>& users) {
        return users
            | std::views::filter([](const auto& u) {
                return u.role == "Admin";
              })
            | std::ranges::to<std::vector<User>>();
    }

    void print(const std::vector<User>& users) {
        std::ranges::for_each(users, [](const auto& u) {
            std::cout << "  [" << u.id << "] " << u.name
                      << (u.role == "Admin" ? " *" : "") << "\n";
        });
    }
}

int main() {
    std::vector<User> users{
        {1, "大翔", "Admin"},
        {2, "白歌", "Developer"},
        {3, "孔蓝", "Admin"},
        {4, "小崔", "Developer"},
        {5, "黄俪", "Developer"},
    };

    std::cout << "=== 用户查询: C++11 → C++20 ===\n\n";

    std::cout << "所有用户:\n";
    cpp17::print(users);

    std::cout << "\n管理员:\n";
    auto admins11 = cpp11::findAdmins(users);
    auto admins14 = cpp14::findAdmins(users);
    auto admins17 = cpp17::findAdmins(users);
    auto admins20 = cpp20::findAdmins(users);

    std::cout << "  C++11: " << admins11.size() << " 人\n";
    std::cout << "  C++14: " << admins14.size() << " 人\n";
    std::cout << "  C++17: " << admins17.size() << " 人\n";
    std::cout << "  C++20: " << admins20.size() << " 人\n";
}

示例二：版本特性速查表

特性C++11C++14C++17C++20
类型推导auto/decltypedecltype(auto)CTADauto 参数
Lambda基础泛型/初始化捕获constexpr模板语法
智能指针unique/shared/weakmake_unique—atomic<shared_ptr>
编译期constexpr 单句constexpr 多句if constexprconsteval/constinit
容器array/forward_list—string_viewspan
类型安全enum class—variant/optional/anyConcepts
算法<algorithm>—平行算法Ranges
并发thread/mutex/async共享锁平行 STLjthread/协程
比较———<=>
格式化iostream——std::format
模块———Modules

迁移策略

版本迁移路径

迁移建议

  1. 不急于升级编译器：先用当前标准的新特性，逐步准备
  2. 从低风险项开始：nullptr、auto、override、range-for
  3. 逐步引入智能指针：替换裸 new/delete，消除泄漏风险
  4. 利用可选类型：optional/variant 替代魔法值和 union
  5. Concepts 最后引入：需要编译器支持，且 API 设计层面改动

易错场景与面试考点

易错场景

1. 错误的标准选择

// C++17 项目：用了 C++20 的 ranges
auto result = vec | std::views::filter(pred);  // ❌ C++17 不可用

// 应使用 C++17 兼容写法
std::vector<int> result;
std::copy_if(vec.begin(), vec.end(),
             std::back_inserter(result), pred);

2. CTAD 的陷阱

std::vector v{1, 2, 3};         // vector<int>
std::vector v2(v.begin(), v.end());  // ❌ vector<std::vector<int>::iterator>
// 正确：std::vector<int> v2(v.begin(), v.end());

面试考点

考点要点
C++11 最大贡献移动语义、auto、lambda、并发库
C++14 定位增量修复，填补 C++11 缺失
C++17 亮点结构化绑定、optional/variant、if constexpr
C++20 四大支柱Concepts、Ranges、协程、Modules
新旧对比用户查询、资源管理等场景的各版本写法
迁移顺序低风险（nullptr/auto）→ 中风险（智能指针）→ 高风险（Concepts）
标准版本宏__cplusplus：201103L / 201402L / 201703L / 202002L