C++類型萃?。ǚ治募芾恚?/h1>

發(fā)布時間：2020-09-16 12:50:03 來源：網(wǎng)絡(luò) 閱讀：266 作者：夢T醒 欄目：編程語言

C語言參與編譯的是.c文件，一個.c文件是一個編譯單元。
頭文件在預(yù)處理階段被展開，即，預(yù)處理器看見#include預(yù)處理指令的時候，就用相應(yīng)頭文件的內(nèi)容替換掉這個#include預(yù)處理指令(把頭文件內(nèi)容拷貝到.c文件中，然后刪除這條#include預(yù)處理指令)。
你應(yīng)該把頭文件看出是導(dǎo)出給外部模塊使用的接口，里面存放外部模塊需要使用的宏定義及函數(shù)原型。
在linux下，可以用gcc -E查看預(yù)處理之后的文件。
頭文件中的函數(shù)原型是提供給編譯器作為函數(shù)原型檢查的，對于不是本源文件中的函數(shù)，編譯過程中并不會產(chǎn)生實際的調(diào)用代碼（函數(shù)調(diào)用需要知道確切的函數(shù)地址），只是在相應(yīng)的地方做個標(biāo)記，表示在這里需要調(diào)用某個函數(shù)。編譯完成產(chǎn)生的是匯編代碼。
如上所述，編譯產(chǎn)生的匯編代碼并不能直接運行，因為外部函數(shù)調(diào)用的地方還沒給予確切的函數(shù)地址。這個工作由鏈接過程完成。鏈接器會查找其它源文件所產(chǎn)生的匯編代碼，進(jìn)而找到正確的函數(shù)調(diào)用地址，然后用這個地址替換掉在編譯時做的標(biāo)記。完成這一步后，程序就可以實際運行了。
因此，.h是根本不會被編譯的，它如果被包含，則會被預(yù)處理器將其內(nèi)容一分不差的拷貝到.c文件中，.編譯器編譯的是拷貝后的這個.c文件。

2.分文件管理：
因為頭文件在預(yù)處理階段就已完成，所以不會降低代碼效率，因此解決1中代碼效率低的問題

頭文件

#pragma once

#include<iostream>
using namespace std;
#include<string>

//來自自定義類型
struct TrueType
{};

// 對應(yīng)自定義類型
struct FalseType
{};

//隱示實例化
template<class T>
struct TypeTraits
{
    typedef FalseType PODTYPE;  // plain old data
};

//顯示實例化
template<>
struct TypeTraits<char>
{
    typedef TrueType PODTYPE;
};

template<>
struct TypeTraits<short>
{
    typedef TrueType PODTYPE;
};

template<>
struct TypeTraits<int>
{
    typedef TrueType PODTYPE;
};
template<>
struct TypeTraits<long>
{
    typedef TrueType PODTYPE;
};

template<>
struct TypeTraits<long long>
{
    typedef TrueType PODTYPE;
};

template<>
struct TypeTraits<float>
{
    typedef TrueType PODTYPE;
};

template<>
struct TypeTraits<double>
{
    typedef TrueType PODTYPE;
};

void TestCopy();

源代碼

#include"Type_extraction.h"

template<class T>
void Copy(T* dst, T* src, size_t size, TrueType)
{
    // T的類型：內(nèi)置類型
    memcpy(dst, src, sizeof(T)*size);
}

template<class T>
void Copy(T* dst, T* src, size_t size, FalseType)
{
    // T的類型：自定義類型---原因：自定義類型中可能會存在淺拷貝
    for (size_t i = 0; i < size; ++i)
        dst[i] = src[i];
}

template<class T>
void Copy(T* dst, T* src, size_t size)
{
    Copy(dst, src, size, TypeTraits<T>::PODTYPE());
}

void TestCopy()
{
    int array1[] = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 0 };
    int array2[10];
    Copy(array2, array1, 10);

    string s1[3] = { "1111", "2222", "3333" };
    string s2[3];
    Copy(s2, s1, 3);
}

測試文件main.c

#include"Type_extraction.h"

int main()
{
    TestCopy();
    return 0;
}

模板的聲明和定義必須放在一個文件原因
https://blog.csdn.net/chigusakawada/article/details/78752668
顯示實例化，隱式實例化概念
https://blog.csdn.net/qiujianjian/article/details/84792608