首先總結規則，詳細分析見下面：
規則1：記憶體由低到高優先分配給佔位8位元組、4位元組、2位元組、1位元組的資料型別
資料型別佔位說明：
8位元組：double、longlong int
4位元組：int、float、long int、unsigned int
2位元組：short 、unsigned short
1位元組：char 、unsigned char
例如,分別定義下列變數，記憶體地址中由低到高分別為：
double < int < short < char
規則2：同總佔位的型別按定義變數的先後順序記憶體地址會增加

示例程式1：
#include <stdio.h>

int main(int argc, const char *argv[])
{
    char char_a;
    short short_a;
    int int_a;
    float float_a;
    double double_a;
    unsigned int uint_a;
    long int lint_a;
    long long int dlint_a;

    printf("  &char_a : %p\n"
 
,&char_a);
    printf(" &short_a : %p\n",&short_a);
    printf("   &int_a : %p\n",&int_a);
    printf(" &float_a : %p\n",&float_a);
    printf("&double_a : %p\n",&double_a);
    printf(" &unsigned_int_a : %p\n",&uint_a);
    printf("     &long_int_a : %p\n"
 
,&lint_a);
    printf("&long_long_int_a : %p\n",&dlint_a);
    return 0;
}

測試結果1：
*不同機器顯示的記憶體地址會略有不同*
  &char_a : 0xbfa844af
 &short_a : 0xbfa844ac
   &int_a : 0xbfa8449c
 &float_a : 0xbfa844a0
&double_a : 0xbfa84488
 &unsigned_int_a : 0xbfa844a4
     &long_int_a : 0xbfa844a8
&long_long_int_a : 0xbfa84490

**分析：有結果可知變數下記憶體中的分佈為（從低地址到高地址，()中為它們所佔位元組）：
double(8)、long long int(8)、int(4) 、float(4)、unsigned int(4)、long int(4)、short(2)、char(1)
這裡可以佐證規則1.**

示例程式2：
#include <stdio.h>

int main(int argc, const char *argv[])
{
    char char_a;
    short short_a;
    int int_a;
    float float_a;
    double double_a;
    unsigned int uint_a;
    long int lint_a;
    long long int dlint_a;
    char char_b;
    short short_b;
    int int_b;
    float float_b;
    double double_b;
    unsigned int uint_b;
    long int lint_b;
    long long int dlint_b;

    printf("  &char_a : %p\n",&char_a);
    printf("  &char_b : %p\n",&char_b);
    printf(" &short_a : %p\n",&short_a);
    printf(" &short_b : %p\n",&short_b);
    printf("   &int_a : %p\n",&int_a);
    printf("   &int_b : %p\n",&int_b);
    printf(" &float_a : %p\n",&float_a);
    printf(" &float_b : %p\n",&float_b);
    printf("&double_a : %p\n",&double_a);
    printf("&double_b : %p\n",&double_b);
    printf(" &unsigned_int_a : %p\n",&uint_a);
    printf(" &unsigned_int_b : %p\n",&uint_b);
    printf("     &long_int_a : %p\n",&lint_a);
    printf("     &long_int_b : %p\n",&lint_b);
    printf("&long_long_int_a : %p\n",&dlint_a);
    printf("&long_long_int_b : %p\n",&dlint_b);

    return 0;
}

測試結果2：
*不同機器顯示的記憶體地址會略有不同*
  &char_a : 0xbfde982e
  &char_b : 0xbfde982f
 &short_a : 0xbfde982a
 &short_b : 0xbfde982c
   &int_a : 0xbfde9808
   &int_b : 0xbfde9818
 &float_a : 0xbfde980c
 &float_b : 0xbfde981c
&double_a : 0xbfde97e8
&double_b : 0xbfde97f8
 &unsigned_int_a : 0xbfde9810
 &unsigned_int_b : 0xbfde9820
     &long_int_a : 0xbfde9814
     &long_int_b : 0xbfde9824
&long_long_int_a : 0xbfde97f0
&long_long_int_b : 0xbfde9800

分析：這裡由int的兩個變數a和b之間夾了float、unsigned int等變數，可以佐證規則2

測試案例3：
#include <stdio.h>

int main(int argc, const char *argv[])
{
    char char_b[4];
    int int_b[4]; 
    char char_a;
    short short_a;
    int int_a;

    printf("  &char_a : %p\n",&char_a);
    printf(" &short_a : %p\n",&short_a);
    printf("   &int_a : %p\n",&int_a);
    printf("   &int_b : %p\n",int_b);
    printf("  &char_b : %p\n",char_b);

    return 0;
}
測試結果3：
*不同機器顯示的記憶體地址會略有不同*
  &char_a : 0xbf8fdcc7
 &short_a : 0xbf8fdcc4
   &int_a : 0xbf8fdcc0
   &int_b : 0xbf8fdcb0
  &char_b : 0xbf8fdcc8

測試案例4：
#include <stdio.h>

int main(int argc, const char *argv[])
{
    char char_a;
    short short_a;
    int int_a;
    int int_b[4]; 
    char char_b[4];

    printf("  &char_a : %p\n",&char_a);
    printf(" &short_a : %p\n",&short_a);
    printf("   &int_a : %p\n",&int_a);
    printf("   &int_b : %p\n",int_b);
    printf("  &char_b : %p\n",char_b);

    return 0;
}

測試結果4：
*不同機器顯示的記憶體地址會略有不同*
  &char_a : 0xbfebf947
 &short_a : 0xbfebf944
   &int_a : 0xbfebf940
   &int_b : 0xbfebf930
  &char_b : 0xbfebf948

**分析：案例3和4可以說明陣列型別會在規則1的前提下，滿足規則3.
對於char型別變數，陣列變數會存到高地址
對於int型別變數，陣列變數會存到低地址
跟陣列定義在前後沒有關係**

測試案例5：
#include <stdio.h>

int main(int argc, const char *argv[])
{
    double b[4];
    double a;
    printf("  &double_a : %p\n",&a);
    printf("  &double_b : %p\n",b);

    return 0;
}

測試結果：
*不同機器顯示的記憶體地址會略有不同*
 &double_a : 0xbfa3b688
 &double_b : 0xbfa3b668

測試案例6：
#include <stdio.h>

int main(int argc, const char *argv[])
{ 
double a;
    double b[4];
    printf("  &double_a : %p\n",&a);
    printf("  &double_b : %p\n",b);

    return 0;
}

測試結果：
*不同機器顯示的記憶體地址會略有不同*
 &double_a : 0xbfd3bda8
 &double_b : 0xbfd3bd88

**分析：由案例5和6可知、
對於double型別變數，陣列變數會存到低地址記憶體上，非陣列變數會先對存到較高記憶體上，而與它們定義的先後沒有關係

總結分析：由上面的結果（1和2的測試）也可以看到，在佔位不同的資料型別相鄰的記憶體會自動對齊佔位較高的記憶體。對齊方式是在高位佔有自己資料大小的空間.**

在陣列方面還有short、unsigned int等沒有測試，測試方法和案例5、6的方法一樣，感興趣的讀者自行驗證……

因本人時間和水平有限，文中如有錯訛、不當之處，敬請大神斧正。