无为法有六：虚空、择灭、非择灭、不动、想受灭、真如。虚空者虚空无为也，谓真如无为无作，不起世间杂染作意，体如虚空，故名虚空无为，简名虚空，法处所摄，非所谓非情非心、一无所有之虚空也。《成唯识论》云：「此理相寂，说为涅盘，非此涅盘择灭为性；故四圆寂(四种涅盘)诸无为中，初后即真如，中二择灭摄。」意谓「本来自性清净涅盘、无住处涅盘」皆指真如本体；然本来自性清净涅盘，系指真如在凡夫众生地时之虚空无为体性，名为虚空无为，简称虚空，法处所摄，非所谓一无所有、人为施设之虚空--无。故《成唯识论》云：「谓一切法相真如理，虽有客染而本性净，具无数量微妙功德，无生无灭湛若虚空......。」故名虚空无为，此虚空无为方是法处所摄，非谓虚空是法处所摄。
《平实书笺》
《唯识述记》云：「八无为(按：无为法有立四、立六、立八、立九不同)体皆是真如，由此论中，依于真如立虚空等二假体，即随有漏无漏心中所现空等无为之相，名虚空等。或依障断所得灭处，假立择灭、不动、想受无色之处，假说虚空。」是故虚空不预法界，不摄于法处之中。
《平实书笺》
《阿毘达磨》云：「果有为离系，无为无因果。」《俱舍论》云：「问：若尔！无为亦应不与能缘识等作所缘缘。答：唯说能生故，得作所缘缘；谓经唯说诸因缘能生识者皆是无常，不说一切为识缘者皆是无常，故不成难。」疏之如下：凡有果者悉皆不离有为，故三界有为法皆不离因果；择灭无为虽名离系果，未离三界，能为心识所缘，故能由无漏智拣择力灭诸杂染，不同于非择灭之本性清净不由拣择而离杂染。故择灭无为乃相待于非择灭无为而立名，仍能为心识所缘。不离意识故，虽非有为，仍在因果中，未至无学位。非择灭无为亦不离离系果，依择灭无为相待立名。凡夫众生之虚空无为，依真如而从喻立名；不动无为及想受灭无为，由真如离下地染缚或离无色界系缚而立名；真如无为则依佛地究竟实际、理非妄倒，假立真如无为之名。此诸名等一切非实，唯依心立；以离染故，立此六种无为法，非实有法名为无为法。故《俱舍论》云：「一切无为皆非实有、如色受等别有实物。」
《俱舍论》云：《问：「若无为法其体都无，何故经说：『所有诸法若诸有为若诸无为，于中离染最为第一。』如何无法可于无中立为第一﹖」答：「我亦不说诸无为法其体都无，但应如我所说而有：如说此声有先非有，有后非有，不可非有说为有故有义得成。说有无为，应知亦尔：有虽非有而可称叹，故诸灾横毕竟非有，名为离染，此于一切有非有中最为殊胜，为令所化深生欣乐，故应称叹此为第一。」以诸无为法或为心识所缘(除灭受想定、无余涅盘)或非所缘，建立法名，非实有法。依断惑离染、依能令众生出离、依应称叹故，建立六种无为、八种无为等法，要非离于真心离于五蕴而能建立。
《平实书笺》