Difference between revisions of "DIP60"

From D Wiki
Jump to: navigation, search
(Description)
Line 38: Line 38:
 
@nogc will be inferred for template functions in the same manner as nothrow is.
 
@nogc will be inferred for template functions in the same manner as nothrow is.
 
@nogc will be transitive, in that all functions called by an @nogc function must also be @nogc.
 
@nogc will be transitive, in that all functions called by an @nogc function must also be @nogc.
 +
GC allocations in a @nogc function will be disallowed, and that means calls to
 +
operator new, closures that allocate on the GC, array concatenation, array appends, and some array literals.
 +
 +
No functions in the GC implementation will be marked @nogc.
  
 
== Usage ==
 
== Usage ==

Revision as of 19:59, 15 April 2014

Title: DIP Add @nogc Function Attribute
DIP: 60
Version: 1
Status: Draft
Created: 2014-14-15
Last Modified: 2014-14-15
Author: Walter Bright
Links: DIP60/Archivepull request
- forum discussion

Abstract

The @nogc function attribute will mark a function as not making any allocations using the GC.

Rationale

Many users want to be able to guarantee that code will not allocate using the GC.

Description

@nogc goes in the same way that the nothrow attribute does, and is quite similar in behavior. It affects inheritance in that it is covariant. The name mangling for it will be "Ni". @nogc will be inferred for template functions in the same manner as nothrow is. @nogc will be transitive, in that all functions called by an @nogc function must also be @nogc. GC allocations in a @nogc function will be disallowed, and that means calls to operator new, closures that allocate on the GC, array concatenation, array appends, and some array literals.

No functions in the GC implementation will be marked @nogc.

Usage

@nogc int func(int a) { ... }


Copyright

This document has been placed in the Public Domain.