是的，蟹味菇和海鲜菇是同一种食用菌的不同叫法。以下是具体说明：

学名与别名

蟹味菇学名 Hypsizygus marmoreus，属于担子菌亚门、白蘑科、玉蕈属，其别名包括 海鲜菇、玉蕈、斑玉蕈、真姬菇、胶玉蘑、鸿喜菇等。

名称差异原因

不同地区因口感、外形或文化背景差异，采用不同名称。例如，日本因突出其“蟹香”特征而广泛使用“蟹味菇”和“海鲜菇”。

形态与口感

蟹味菇菌盖较小、菌柄较短，质地脆嫩、肉厚且韧，味道鲜美，具有独特蟹香，口感优于平菇和滑菇。

营养价值

含丰富氨基酸（如赖氨酸、精氨酸）和维生素，有助于增强免疫力、抗癌、降低胆固醇，子实体提取物具有多种生理活性成分。

总结：

两者为同一食材的不同名称，选购时可参考当地常见叫法，烹饪时可根据需求选择名称使用。