| http://www.w3.org/ns/prov#value | - @pmr: 3.8/1 The lifetime of an object of type T ends when: ??? if T is a class type with a non-trivial destructor (12.4), the destructor call starts, or ??? the storage which the object occupies is reused or released. [As an answer to your request for a quote in a now deleted answer]
|