C++ 命名空間中定義的類，實現代碼是否必須放在同一頭文件？

核心結論

不需要。 命名空間僅作為標識符的作用域限制，防止命名衝突，不影響類的定義與實現分離。類的成員函數完全可以在獨立的 .cpp 源文件中實現，這正是 C++ 工程化開發的標準做法。

標準工程結構示例

頭文件 student.h

#ifndef STUDENT_H
#define STUDENT_H

#include <string>

namespace school {
    class Student {
    public:
        Student(const std::string& name, int id);
        void display() const;
    private:
        std::string m_name;
        int m_id;
    };
}

#endif

實現文件 student.cpp

#include "student.h"
#include <iostream>

namespace school {
    Student::Student(const std::string& name, int id)
        : m_name(name), m_id(id) {}

    void Student::display() const {
        std::cout << "Student: " << m_name << ", ID: " << m_id << std::endl;
    }
}

使用示例 main.cpp

#include "student.h"

int main() {
    school::Student stu("李四", 2023001);
    stu.display();
    return 0;
}

為什麼這樣做？

• 編譯防火牆：頭文件只暴露接口，實現細節隱藏在 .cpp，修改實現不需重新編譯所有引用頭文件的單元。
• 避免多重定義錯誤：若將非內聯函數定義放在頭文件，多個 .cpp 包含該頭文件會導致鏈接錯誤 (multiple definition)。
• 命名空間語法：在 .cpp 中使用 namespace school { ... } 包裹實現，或採用 school::Student::Student(...) 全限定名定義均可。

特殊情況：模板類

若 Student 是模板類，則聲明與實現通常必須放在同一頭文件 (或包含 .tpp/.inl)，因為模板實例化需要編譯器見到完整代碼。但這屬於模板特性，與命名空間無關。

總結

命名空間只是邏輯分組工具，類的定義與實現分離遵循常規 C++ 規則：頭文件放聲明，源文件放定義，編譯期各自編譯，鏈接期符號解析。這樣能構建清晰、可維護、編譯高效的大型項目。