脑虎科技后端开发-C++ 一面

1. 什么是微服务

答案：微服务可以理解成把一个庞大的单体系统，按业务能力拆成多个可独立开发、部署、扩缩容的小服务。每个服务通常围绕单一业务领域构建，有自己的代码仓库、部署单元，很多时候也会有自己独立的数据存储。服务之间通过 HTTP、RPC、消息队列等方式通信。它的重点不只是“拆小”，而是让不同模块能独立演进，减少大系统里发布牵一发动全身的问题。但微服务也不是天然更高级，它会把原来单体内部的问题变成分布式问题，比如网络超时、重试风暴、链路追踪、配置管理、数据一致性这些。

2. 为什么要选用微服务，而不是继续维护单体架构

答案：真正适合走微服务，通常是因为系统规模、团队规模和业务复杂度已经到了单体难以承受的阶段。比如一个仓库代码越来越大，构建和发布很慢；不同模块耦合严重，一个小改动可能影响全局；某些热点能力需要单独扩容，但单体只能整体扩；团队协作上多人改同一个系统，边界不清，测试和回归成本很高。微服务的价值在于按业务能力拆边界，做到独立开发、独立发布、独立扩容。但如果业务规模不大、团队人数不多，强上微服务往往会引入过高的运维和治理成本，最后收益不一定比单体大。

3. RESTful 接口是什么，它和普通 HTTP 接口有什么区别

答案：RESTful 接口本质上是一种资源导向的接口设计风格。它强调把业务对象抽象成资源，用 URL 表示资源，用 HTTP 方法表达操作语义，比如 GET 查、POST 创建、PUT 更新、DELETE 删除。它和“普通 HTTP 接口”的区别不在于是否走 HTTP，而在于设计是否统一、是否语义化。比如 /users/123/orders 这种路径更像在描述资源，而不是 /getUserOrderById 这种动作式接口。真正工程里，很多接口是“偏 RESTful”而不是完全严格遵循，因为还要兼顾权限、分页、批量操作、幂等设计和历史兼容。

4. 微服务拆分时，最难的通常是什么

答案：最难的通常不是代码怎么拆，而是边界怎么定。如果按技术层拆，很容易变成“用户服务、订单服务、数据库服务”这种假拆分，服务之间互相强依赖；如果按领域边界拆，又要对业务有足够理解。拆分时通常要重点看几个东西：业务闭环是否完整、数据 ownership 是否清晰、服务之间调用是否会形成环、热点链路是否过长、未来扩展是否会频繁跨服务改动。真正好的拆分，往往不是服务数量多，而是依赖关系简单、边界稳定、团队职责清楚。

5. 微服务里为什么经常需要服务注册与发现

答案：因为微服务实例一般不是固定不变的。服务可能会扩容、缩容、重启、迁移，IP 和端口经常变化，如果调用方把目标地址写死，系统几乎没法运维。所以通常会有注册中心，服务启动时把自己的地址注册进去，调用方通过服务名去发现可用实例，再由客户端负载均衡或者网关转发。这套机制解决的是实例动态变化的问题，但也会带来一致性、心跳、摘除、缓存过期等治理问题。

6. 模板你了解吗，模板和普通泛型代码的核心价值是什么

答案：C++ 模板本质上是编译期代码生成机制。它最大的价值是把类型作为参数，让同一套逻辑适配不同类型，同时又不损失运行时性能，因为很多决策发生在编译期。模板不只是写 vector<T> 这种容器，也包括函数模板、类模板、可变参数模板、别名模板、模板特化这些。相比很多语言运行时泛型，C++ 模板能力更强，但代价是编译器错误信息复杂、编译时间增长、实例化代码可能膨胀。

代码：

#include <iostream>
using namespace std;

template <typename T>
T add(T a, T b) {
    return a + b;
}

int main() {
    cout << add(1, 2) << endl;
    cout << add(1.5, 2.5) << endl;
    return 0;
}

7. 模板元编程怎么理解，`constexpr` 和传统 TMP 有什么关系

答案：模板元编程可以理解成“在编译期做计算和类型推导”。早期 TMP 更多是通过模板递归、偏特化、类型萃取来完成编译期逻辑，比如 std::is_same、std::enable_if 这些。到了 C++11 以后，constexpr、if constexpr、consteval 这些能力让很多原本写得非常绕的 TMP 可以用更接近普通代码的方式表达。所以现在谈模板元编程，不只是那种纯类型递归写法，更广义上是“把部分逻辑前移到编译期”，包括类型检查、分支裁剪、常量计算、接口约束等。

代码：

#include <iostream>
using namespace std;

template <int N>
struct Fact {
    static constexpr int value = N * Fact<N - 1>::value;
};

template <>
struct Fact<0> {
    static constexpr int value = 1;
};

int main() {
    cout << Fact<5>::value << endl;
    return 0;
}