编写一个C/C++程序，包括至少两个函数，并在这些函数的代码和相应的注释中，分别体现数据耦合、控制耦合、特征耦合的概念。同时，展示如何实现局部化，即如何使代码模块化的具体实践。请确保解释清楚每个概念在代码中的应用。

首先，让我们了解一下这几个概念：

1. 数据耦合（Data Coupling）：当一个函数依赖于另一个函数的内部数据结构或变量，而不是通过输入/输出参数交换信息时，就存在数据耦合。这种耦合程度较低，因为修改一个函数不会直接影响到其他函数。

2. 控制耦合（Control Coupling）：当一个函数直接控制另一个函数的行为，例如通过返回值或指针影响其流程，这样的耦合称为控制耦合。这是比数据耦合更高的耦合度，因为修改一个函数会间接改变其他函数的执行路径。

3. 特征耦合（Feature Coupling）：如果两个或更多的函数都紧密地依赖于彼此的功能，那么它们之间就有很强的特征耦合。这意味着它们共享了过多的功能，导致难以独立维护。

4. 局部化（Modularity）：为了实现代码模块化，我们可以将功能分解成独立的函数或类，每个负责特定的任务，并尽量限制它们之间的交互。

下面是一个简单的C++程序示例，展示了上述概念的应用：

// 定义一个基础的数据结构 Animal
class Animal {
public:
    // 这里体现了数据耦合，Animal 类有一个 internal_state 变量，但外部函数只能通过 public API 访问
    int internal_state; 

    // 构造函数体现数据初始化，属于轻量级数据耦合
    Animal(int initial_state) : internal_state(initial_state) {}

    // 动作方法体现控制耦合，外部可以控制动物的行为
    virtual void performAction() = 0;
};

// 狗类是 Animal 的一个特例，体现特征耦合
class Dog : public Animal {
public:
    // 狗有自己的行为（吠叫），这是对父类控制的细化
    void performAction() override { std::cout << "Dog barks!" << std::endl; }
};

// 猫类同样实现 Animal 并具有自己的行为
class Cat : public Animal {
public:
    void performAction() override { std::cout << "Cat meows!" << std::endl; }

    // 展现局部化，猫还有额外的特性如抓挠
    void scratch() { std::cout << "Cat scratches." << std::endl; }
};

// 主函数体现了模块化和局部化，仅处理与 main 相关的逻辑
int main() {
    Animal* pet1 = new Dog(5); // 数据耦合和控制耦合
    Animal* pet2 = new Cat(7);

    pet1->performAction(); // 控制耦合
    pet2->performAction(); // 控制耦合

    delete pet1;
    delete pet2;

    return 0;
}