自作アロケータを作っているんですがsizeof(type[array_size])とsizeof(type) * array_sizeは同じになる事が保証されていますか?