式の静的型（static type）は参照型にならない、すなわち、式の静的型は値カテゴリの情報を含まない、あるいは、式の静的型と式の値カテゴリは直行する概念である、ということに関するメモです。 以下、規格書の文面はC++20規格と同等のドラフトであるN4861…