“Lvalue” и “incomplete type”

#cpp

Наткнулся на описание rvalue и lvalue в стандарте: 


  Class rvalues can have cv-qualified types; non-class rvalues always have cv-unqualified
types. Rvalues
  shall always have complete types or the void type; in addition to these types,
lvalues can also have incomplete types. 


Что в данном контексте означает последнее выражение 


  lvalues can also have incomplete types? 


Под incomplete type я понимаю классы, которые объявлены, но не определены (или пока
не определены). 
    

Ответы

Ответ 1

В пункте 3.9 раскрывается значение "incomplete type"

A class that has been declared but not defined, or an array of unknown size or of
incomplete element type, is an incompletely-defined object type.43 Incompletely-defined
object types and the void types are incomplete types (3.9.1). Objects shall not be
defined to have an incomplete type.

То есть, классы без реализации, массивы неизвестного размера или массивы "неполностью
объявленного типа".