search

C++ function inlining

Feb 06, 2017 pm 01:38 PM

1. Replace macro code with inlining


The C++ language supports function inlining, whose purpose is to improve the execution efficiency (speed) of the function.

In C programs, macro codes can be used to improve execution efficiency. The macro code itself is not a function, but it behaves like a function. The preprocessor replaces function calls by copying macro codes, eliminating the need for pushing parameters onto the stack, generating CALL calls in assembly language, returning parameters, and executing return, thus improving speed. The biggest disadvantage of using macro code is that it is error-prone. The preprocessor often produces unexpected side effects when copying macro code.


For example the

#define MAX(a, b)         (a) > (b) ? (a) : (b)

statement

result = MAX(i, j) + 2 ;

will be interpreted by the preprocessor as

result = (i) > (j) ? (i) : (j) + 2 ;

due to the operator ' + 'Than operator' :' has a higher priority, so the above statement is not equivalent to the expected

result = ( (i) > (j) ? (i) : (j) ) + 2 ;

If you rewrite the macro code as

#define MAX(a, b) ( (a) > (b) ? (a) : (b) )

, you can solve the problem caused by priority mistake. But even using modified macro code is not foolproof, for example the statement

result = MAX(i++, j);

will be interpreted by the preprocessor as

result = (i++) > (j) ? (i++) : (j);

For C++, there is another disadvantage of using macro code : Private data members of the class cannot be operated, which means that the macro code is basically for public or global operations.


#Let’s see how C++’s “function inlining” works. For any inline function, the compiler places the function's declaration (including name, parameter types, and return value type) in the symbol table. If the compiler finds no error in the inline function, the code for the function is also placed in the symbol table. When calling an inline function, the compiler first checks whether the call is correct (performing type safety checks, or performing automatic type conversion, of course the same for all functions). If correct, the code for the inline function will directly replace the function call, thus eliminating the overhead of the function call. This process is significantly different from preprocessing, because the preprocessor cannot perform type safety checks or perform automatic type conversions. If the inline function is a member function, the address of the object (this) will be placed in the appropriate place, which is something that the preprocessor cannot do.


#The function inlining mechanism of C++ language not only has the efficiency of macro code, but also increases security, and can freely operate the data members of the class. Therefore, in C++ programs, all macro codes should be replaced by inline functions. "assert" is probably the only exception. assert is a macro that only works in the Debug version. It is used to check for situations that "shouldn't" happen. In order not to cause differences between the Debug and Release versions of the program, assert should not have any side effects. If assert is a function, since the function call will cause changes in memory and code, there will be a difference between the Debug version and the Release version. So assert is not a function, but a macro.


2. Programming style of inline function


The keyword inline must be placed together with the function definition body. To make a function inline, simply putting inline in front of the function declaration has no effect. The function Foo in the following style cannot become an inline function:

inline void Foo(int x, int y);   // inline 仅与函数声明放在一起,不起任何作用  
void Foo(int x, int y)  
{  
…  
}

And the function Foo in the following style becomes an inline function:

void Foo(int x, int y);    
inline void Foo(int x, int y) // inline 与函数定义体放在一起  
{  
…  
}


So, inline It is a "keyword for implementation" rather than a "keyword for declaration". Generally, users can read the declaration of a function, but cannot see the definition of the function. Although the inline keyword is added before the declaration and definition body of inline functions in most textbooks, I think inline should not appear in the declaration of a function. Although this detail will not affect the functionality of the function, it reflects a basic principle of high-quality C++/C programming style: declaration and definition cannot be confused, and users do not need to, and should not, know whether a function needs to be inlined.


Member functions defined in the class declaration will automatically become inline functions, for example

class A  
{  
public:  
    void Foo(int x, int y) { … }   // 自动地成为内联函数  
}


will Although placing the definition body of the member function in the class declaration brings convenience in writing, it is not a good programming style. The above example should be changed to:

// 头文件  
class A  
{  
public:  
    void Foo(int x, int y);  
}  
// 定义文件  
inline void A::Foo(int x, int y)  
{  
…  
}

3. Use inlining with caution


Inlining can improve the execution efficiency of functions. Why not define all functions as inline functions?


#If all functions are inline functions, is the keyword "inline" still needed?


Inline is at the expense of code expansion (duplication), and only saves the overhead of function calls, thus improving the execution efficiency of the function. If the time to execute the code in the function body is larger than the overhead of function calls, then the efficiency gains will be very small. On the other hand, each inline function call requires copying the code, which will increase the total code size of the program and


consume more memory space. It is not appropriate to use inlining in the following situations:


(1) If the code in the function body is relatively long, using inlining will result in higher memory consumption costs.


# (2) If a loop occurs in the function body, the time to execute the code in the function body is greater than the cost of the function call.


The constructors and destructors of classes are easily misunderstood as using inline is more efficient. Beware of constructors and destructors. Functions may hide some behavior, such as "secretly" executing the constructors and destructors of base classes or member objects. So don't just put the definitions of constructors and destructors in the class declaration.

The above is the content of C++ function inlining. For more related content, please pay attention to the PHP Chinese website (www.php.cn)!


Statement
The content of this article is voluntarily contributed by netizens, and the copyright belongs to the original author. This site does not assume corresponding legal responsibility. If you find any content suspected of plagiarism or infringement, please contact admin@php.cn
Deploying C# .NET Applications to Azure/AWS: A Step-by-Step GuideDeploying C# .NET Applications to Azure/AWS: A Step-by-Step GuideApr 23, 2025 am 12:06 AM

How to deploy a C# .NET app to Azure or AWS? The answer is to use AzureAppService and AWSElasticBeanstalk. 1. On Azure, automate deployment using AzureAppService and AzurePipelines. 2. On AWS, use Amazon ElasticBeanstalk and AWSLambda to implement deployment and serverless compute.

C# .NET: An Introduction to the Powerful Programming LanguageC# .NET: An Introduction to the Powerful Programming LanguageApr 22, 2025 am 12:04 AM

The combination of C# and .NET provides developers with a powerful programming environment. 1) C# supports polymorphism and asynchronous programming, 2) .NET provides cross-platform capabilities and concurrent processing mechanisms, which makes them widely used in desktop, web and mobile application development.

.NET Framework vs. C#: Decoding the Terminology.NET Framework vs. C#: Decoding the TerminologyApr 21, 2025 am 12:05 AM

.NETFramework is a software framework, and C# is a programming language. 1..NETFramework provides libraries and services, supporting desktop, web and mobile application development. 2.C# is designed for .NETFramework and supports modern programming functions. 3..NETFramework manages code execution through CLR, and the C# code is compiled into IL and runs by CLR. 4. Use .NETFramework to quickly develop applications, and C# provides advanced functions such as LINQ. 5. Common errors include type conversion and asynchronous programming deadlocks. VisualStudio tools are required for debugging.

Demystifying C# .NET: An Overview for BeginnersDemystifying C# .NET: An Overview for BeginnersApr 20, 2025 am 12:11 AM

C# is a modern, object-oriented programming language developed by Microsoft, and .NET is a development framework provided by Microsoft. C# combines the performance of C and the simplicity of Java, and is suitable for building various applications. The .NET framework supports multiple languages, provides garbage collection mechanisms, and simplifies memory management.

C# and the .NET Runtime: How They Work TogetherC# and the .NET Runtime: How They Work TogetherApr 19, 2025 am 12:04 AM

C# and .NET runtime work closely together to empower developers to efficient, powerful and cross-platform development capabilities. 1) C# is a type-safe and object-oriented programming language designed to integrate seamlessly with the .NET framework. 2) The .NET runtime manages the execution of C# code, provides garbage collection, type safety and other services, and ensures efficient and cross-platform operation.

C# .NET Development: A Beginner's Guide to Getting StartedC# .NET Development: A Beginner's Guide to Getting StartedApr 18, 2025 am 12:17 AM

To start C#.NET development, you need to: 1. Understand the basic knowledge of C# and the core concepts of the .NET framework; 2. Master the basic concepts of variables, data types, control structures, functions and classes; 3. Learn advanced features of C#, such as LINQ and asynchronous programming; 4. Be familiar with debugging techniques and performance optimization methods for common errors. With these steps, you can gradually penetrate the world of C#.NET and write efficient applications.

C# and .NET: Understanding the Relationship Between the TwoC# and .NET: Understanding the Relationship Between the TwoApr 17, 2025 am 12:07 AM

The relationship between C# and .NET is inseparable, but they are not the same thing. C# is a programming language, while .NET is a development platform. C# is used to write code, compile into .NET's intermediate language (IL), and executed by the .NET runtime (CLR).

The Continued Relevance of C# .NET: A Look at Current UsageThe Continued Relevance of C# .NET: A Look at Current UsageApr 16, 2025 am 12:07 AM

C#.NET is still important because it provides powerful tools and libraries that support multiple application development. 1) C# combines .NET framework to make development efficient and convenient. 2) C#'s type safety and garbage collection mechanism enhance its advantages. 3) .NET provides a cross-platform running environment and rich APIs, improving development flexibility.

See all articles

Hot AI Tools

Undresser.AI Undress

Undresser.AI Undress

AI-powered app for creating realistic nude photos

AI Clothes Remover

AI Clothes Remover

Online AI tool for removing clothes from photos.

Undress AI Tool

Undress AI Tool

Undress images for free

Clothoff.io

Clothoff.io

AI clothes remover

Video Face Swap

Video Face Swap

Swap faces in any video effortlessly with our completely free AI face swap tool!

Hot Tools

VSCode Windows 64-bit Download

VSCode Windows 64-bit Download

A free and powerful IDE editor launched by Microsoft

Zend Studio 13.0.1

Zend Studio 13.0.1

Powerful PHP integrated development environment

SublimeText3 Linux new version

SublimeText3 Linux new version

SublimeText3 Linux latest version

Atom editor mac version download

Atom editor mac version download

The most popular open source editor

SublimeText3 English version

SublimeText3 English version

Recommended: Win version, supports code prompts!