Explicit Virtual Function Overrides document number: n2108 Jens Maurer <Jens.Maurer@gmx.net> Alisdair Meredith <alisdair.meredith@uk.renaultf1

long); // ill-formed: new virtual function introduced virtual void h(double); [[new]] // ill-formed: new virtual function hides void h(int

The [[override]] attribute indicates that a member function override a virtual function in at

The [[override]] attribute indicates that a member function override a virtual function in at

the member function; a member function declared const is a const member function, a member

part of the function type for a non-static member function, the function

can result. Since the derived function is not overriding the base class function when this was intended

a function definition. This solution provides for full control of special member function defaults, provides maximally trivial

the static destructors. Such a mechanism already exists in the _Exit function. Unfortunately, that function has

definition: decl-specifier-seq opt declarator ctor-initializer opt function-body decl-specifier-seq opt declarator function-try-block function-body

a function definition. This solution provides for full control of special member function defaults, provides maximally trivial

new-expression . -- end footnote ] to a function, member function, function pointer, or member function pointer that does not

and post-conditions, instead of in terms of constructors or function signatures. 3.10 - Lvalues

of the called function has completed. Every evaluation in the calling function (including other function calls

of the called function has completed. Every evaluation in the calling function (including other function calls

or namespace of which it is a member. If a function or function template is

to the language why they would want to declare a function they never plan to

dcl.fct.def) is immediately before the function-body of a function definition. Change 3.3

a namespace This treatment leaves unspecified all the non- identifier unqualified-id s ( operator-function-id , conversion-function-id

C-like, just as are C++ control constructs. Likewise, the proposal adopts C-like function names where necessary. Introducing

Within the library, we characterize the behavior of a function with respect to

is not a function-like invocation, so does not expand. 2.2. Functions versus function types The current

constexpr specifier [dcl.constexpr]      7.3.3 The using declaration [namespace.udecl]      8.4 Function definitions [dcl.fct.def

operator<<(std::ostream&, const A&); // #2 The first overload is a member function of ostream

constexpr specifier [dcl.constexpr]      7.3.3 The using declaration [namespace.udecl]      8.4 Function definitions [dcl.fct.def

as an rvalue . Where elision of copy constructor is currently allowed for function return values, the

in which no function call syntax appears. —end example] The sequence points at function-entry and function

has the value zero. [Footnote: Many of the objects manipulated by function signatures declared in

has the value zero. [Footnote: Many of the objects manipulated by function signatures declared in

has the value zero. [Footnote: Many of the objects manipulated by function signatures declared in

a function: struct S { int i(j); // ill-formed...parsed as a member function, // type j looked up

a function: struct S { int i(j); // ill-formed...parsed as a member function, // type j looked up

New Function Declarator Syntax Wording Jason Merrill 2008-02-28 Document Number N2541=08-0051 Revision 11 Proposed

int> to deduce return type —end example] Redeclarations or specializations of a function or function template with

is copyconstructible and assignable. b. T is swappable if a namespace scope function named swap exists in

forwarding for that particular signature, much as user declaration of a function would hide a

a deallocation function (3.7.4.2). Otherwise, it is unspecified whether the deallocation function will be called. [ Note

and [[hiding]]. Introduce contextual keywords at the end of a member function declarator for "override

to determine return types, chooses second —end example] Redeclarations or specializations of a function or function template with

new-expression . -- end footnote ] to a function, member function, function pointer, or member function pointer that does not

In Windows platforms, using CRITICAL_SECTION feature can't return any error: void EnterCriticalSection(LPCRITICAL_SECTION lpCriticalSection) locking function does not return any

can be (and has been) implemented with today's compilers. There is one minor function that can best be

so boosters are proposing to add an ugly and unintuitive static init function, and an

seq opt function-body ... The optional attribute-specifier-seq in a function-definition appertains to

a function definition. This solution provides for full control of special member function defaults, provides maximally trivial

basic_string in response to comments from the FSG. Remove initial_path() operational function. The functionality

shall not be used as the type of a variable or function with linkage, unless the

of the called function has completed. Every evaluation in the calling function (including other function calls

program to test for a precondition before calling a function described in this

basic_string in response to comments from the FSG. Remove initial_path() operational function. The functionality

several difficulties. See Coupling between POD's and aggregates .   Coupling between trivial special member function needs and other

occurrence, a function that compares two character sequences returns zero, and a function that copies characters copies

program to test for a precondition before calling a function described in this

program to test for a precondition before calling a function described in this

POD definition, defaulted/deleted functions, __func__, alignment, strongly-typed enums, concepts, new syntax for function return type, nullptr, initializer

The core problem with function-local static-duration object initialization is that the containing function may be invoked concurrently

several difficulties. See Coupling between POD's and aggregates .   Coupling between trivial special member function requirements and layout

several difficulties. See Coupling between POD's and aggregates .   Coupling between trivial special member function requirements and layout

several difficulties. See Coupling between POD's and aggregates .   Coupling between trivial special member function requirements and layout

several difficulties. See Coupling between POD's and aggregates .   Coupling between trivial special member function needs and other

functions, class objects, pointers, or references shall not be used, and assignment, increment, decrement, function-call function call (including

constexpr specifier [dcl.constexpr]      7.3.3 The using declaration [namespace.udecl]      8.4 Function definitions [dcl.fct.def

constexpr specifier [dcl.constexpr]      7.3.3 The using declaration [namespace.udecl]      8.4 Function definitions [dcl.fct.def

defined. R.2.2 If there is a write guarded by a function call operator (see 5

and also in a conforming C program. A POF (plain old function) is a function

and ADL. Note that func could be either a type or a function; it may be found

a function: struct S { int i(j); // ill-formed...parsed as a member function, // type j looked up

has the value zero. [Footnote: Many of the objects manipulated by function signatures declared in

operator<<(std::ostream&, const A&); // #2 The first overload is a member function of ostream

initial function of the thread. 15.5.1 The std::terminate() function [except.terminate] In

the template argument deduction process it is is necessary to take a function type that makes use

page 41, second paragraph, change: If the expression that denotes the called function has a type

the form T x = a; as well as in argument passing, function return, throwing an exception

automatic instantiation is for the compiler to instantiate a function in each

simply to count the number of times a function is called, as in

of the current atomics package design. Provide atomics purely as a library API Function call syntax appears to

pressure has led to the addition of a fence member function to all

The synchronization specification has changed from a part of the function name to a

simply to count the number of times a function is called, as in

allows insufficiently synchronized programs to crash, jump to the wrong member function, etc. Function local statics

Dec 92 Max K. Goff Q1: Is setjmp a macro or a function? Q2: How does fscanf

considered undefined. Example: (x = 1) * x There is a special rule for function calls that causes otherwise

modification of "a" is not the primary goal of this function. The primary

or a null exception_ptr if no exception is being handled. If the function needs to allocate

thread of execution (a.k.a. thread ) running concurrently. Each thread executes a single function according to the

forwarding for that particular signature, much as user declaration of a function would hide a

shall not be used as the type of a variable or function with linkage, unless the

providing the arguments. There is one new event {f:F function}, using the function actually called. For

T is MoveConstructible and MoveAssignable . T is Swappable if a namespace scope function named swap exists in

Type properties [meta.unary.prop], before table Type property queries , add: Given the following function prototype: template <class T

thread of execution (a.k.a. thread ) running concurrently. Each thread executes a single function according to the

on the value in the atomic variable. expected = current.load(); do desired = function(expected); while (!current.compare_exchange

motivating non-SC memory ordering, including dependency ordering. N2195 by Peter Dimov proposes an atomic_load_address() template function that protects a

list new-line # define identifier lparen identifier-list , ... ) replacement-list new-line defines a function-like macro function-like

An id-expression that denotes a non-static data member or non-static member function of a

in analogy, array-new doesn't support that either) modifications to the function declarator syntax sizeof(a

several difficulties. See Coupling between POD's and aggregates .   Coupling between trivial special member function requirements and layout

code changes affected three existing functions. No new functions were added and no existing function signatures required changes. Because

several difficulties. See Coupling between POD's and aggregates .   Coupling between trivial special member function requirements and layout

infinity) 04/2013 Closed DR 419 What the heck is a "generic function"? 10/2013 Closed DR