在C++学习中，单纯阅读语法书往往难以形成深刻理解，而通过精心设计的编程谜题，可以从问题出发倒逼开发者厘清语言细节。下面我们从几个典型谜题切入，看看它们如何锻炼逻辑并提升实际编码能力。
谜题一：引用与指针的隐藏陷阱
很多开发者自认为分清了引用和指针，但在复杂表达式中仍会出错。下面这道谜题要求写出一个函数，让调用者通过参数修改外部指针的指向，同时不允许使用指针的指针。
常规思路容易写成传值引用，但如果不注意类型推导，就会导致浅拷贝。正确方式是利用引用的引用特性，在C++中直接声明为指针的引用。这样既避免了二级指针的繁琐，也明确了语义。
#include <iostream>
void redirect(int*& p, int* target) {
p = target;
}
int main() {
int a = 10;
int b = 20;
int* ptr = &a;
std::cout << *ptr << std::endl; // 输出10
redirect(ptr, &b);
std::cout << *ptr << std::endl; // 输出20
return 0;
}
上述代码利用int*&声明指针引用，函数内部对p的赋值直接反映到外部ptr。这种方式比二级指针可读性强，也减少了误解引用带来的崩溃风险。通过此类谜题，可以巩固对C++类型系统的认知。
谜题二：编译期计算的斐波那契
模板元编程是C++独有的黑魔法，用它在编译期算数列既能练手也能理解实例化过程。下面要求不运行任何循环，仅用模板在编译期得出第N个斐波那契数。
核心是利用模板偏特化与递归继承。编译器在展开模板时会逐层生成类型，最终值以静态常量形式存在，运行期零开销。这种写法虽不常用在业务里，但能让人看清C++的编译模型。
#include <iostream>
template<int N>
struct Fib {
static const int value = Fib<N-1>::value + Fib<N-2>::value;
};
template<>
struct Fib<0> {
static const int value = 0;
};
template<>
struct Fib<1> {
static const int value = 1;
};
int main() {
std::cout << Fib<10>::value << std::endl; // 输出55
return 0;
}
这段代码在编译阶段就完成了计算，Fib<10>::value直接被替换为常量。谜题的价值在于让人思考编译期与运行期的边界，以及模板递归的终止条件设计。
谜题三：虚函数表与多态谜题
面向对象部分最常考的是虚表布局。下面谜题给出基类与派生类，要求预测通过基类指针删除对象时的输出，并解释为何某些析构没有被调用。
若基类析构未声明为virtual，则通过基类指针释放派生类对象会只调用基类析构，造成资源泄漏。该谜题引导开发者重视RAII与多态销毁规范。
#include <iostream>
struct Base {
~Base() { std::cout << "Base dtorn"; }
};
struct Derived : Base {
~Derived() { std::cout << "Derived dtorn"; }
};
int main() {
Base* p = new Derived;
delete p; // 仅输出 Base dtor
return 0;
}
将基类析构改为virtual ~Base()后，输出才会包含派生类析构。这个谜题用极简代码暴露了多态中一个致命但易忽略的规则，适合作为面试前自查。
谜题四：constexpr的限制突破
C++11起引入的constexpr允许更多编译期逻辑，但早期标准对函数内语句有限制。谜题要求写一个constexpr函数判断数字是否为素数，并能在数组大小定义中使用。
通过递归或循环（C++14后允许）实现，可让编译器验证数学性质。此类练习能区分哪些逻辑真正可 constexpr 化，避免盲目加关键字却编译失败。
#include <iostream>
constexpr bool is_prime(int n, int d = 2) {
return n < 2 ? false : d * d > n ? true : (n % d == 0 ? false : is_prime(n, d + 1));
}
int main() {
static_assert(is_prime(7), "7 should be prime");
int arr[is_prime(11) ? 4 : 1]; // 编译期确定大小
std::cout << sizeof(arr) / sizeof(int) << std::endl;
return 0;
}
该示例展示了constexpr递归与static_assert配合的用法。谜题训练开发者把运行期假设移到编译期检查，提升程序安全性。
总结与练习建议
以上谜题覆盖了引用、模板、虚函数、constexpr四个维度。建议读者先自己写一遍再对照代码，并尝试修改条件观察编译或运行差异。长期积累这类小谜题，比泛读教程更能形成扎实的C++直觉。
此外，可以组合谜题，例如用模板加constexpr实现编译期素数表，进一步挑战自己对语言边界的掌握。编程水平的提升往往就藏在这样反复推敲的细节里。