From 3234c5022cecc81ab05c08cf421ece15d183eb48 Mon Sep 17 00:00:00 2001
From: jslhcl <jslhcl@gmail.com>
Date: Sun, 31 Dec 2023 08:38:17 -0800
Subject: [PATCH] new post: weak symbols

---
 .../2015-07-06-Learning-Perl-notes.markdown   |  2 +
 _posts/2023-12-29-C++-Weak-Symbols.markdown   | 93 +++++++++++++++++++
 2 files changed, 95 insertions(+)
 create mode 100644 _posts/2023-12-29-C++-Weak-Symbols.markdown

diff --git a/_posts/2015-07-06-Learning-Perl-notes.markdown b/_posts/2015-07-06-Learning-Perl-notes.markdown
index 565f984..d98930f 100755
--- a/_posts/2015-07-06-Learning-Perl-notes.markdown
+++ b/_posts/2015-07-06-Learning-Perl-notes.markdown
@@ -1844,4 +1844,6 @@ my @shuffled = shuffle(1..1000);	# randomized order of elements
 sub roundup($$) {
 #   this function accepts 2 parameters
 }
+
+$group = \@someArray;   # make $group a reference to @someArray, similar to using *p pointer in C
 ```
diff --git a/_posts/2023-12-29-C++-Weak-Symbols.markdown b/_posts/2023-12-29-C++-Weak-Symbols.markdown
new file mode 100644
index 0000000..117ebe4
--- /dev/null
+++ b/_posts/2023-12-29-C++-Weak-Symbols.markdown
@@ -0,0 +1,93 @@
+---
+layout:	post
+title:	"C/C++ - Weak Symbols"
+tag: 编程
+date:	2023-12-29
+---
+
+When I learned C++ at the very beginning, I was told that a function cannot be defined in multiple .cpp files as you will get the "foo already defined" error. However, the functions can be defined as inline functions in header files which can be included in multiple .cpp files. The included header files will expand their content into .cpp files, then why there won't be "multiple definition of ..." error? 
+
+The reason is that the inline function will be compiled as weak symbol, which are allowed to have 0 or more definitions. Suppose you have the following files:
+
+```cpp
+// test2.h
+void API_Func();
+void non_exist_func();
+
+inline void func() {
+        non_exist_func();
+}
+
+// test2.cpp
+#include "test2.h"
+
+void API_Func() {
+        func();
+}
+``` 
+
+Compile these files into a shared library:
+
+```bash
+$ g++ test2.cpp -shared -o libtestInline.so
+$ readelf -s libtestInline.so   # or use objdump or nm
+...
+    50: 0000000000001149    16 FUNC    WEAK   DEFAULT   12 _Z4funcv
+    53: 0000000000000000     0 NOTYPE  GLOBAL DEFAULT  UND _Z14non_exist_funcv
+    54: 0000000000001139    16 FUNC    GLOBAL DEFAULT   12 _Z8API_Funcv
+```
+
+You can see that "func", which is decorated as inline, is mangled as weak symbol , "API\_Func" is a global symbol, "non\_exist\_func" is also global but NOTYPE, as it is not defined.
+
+The next example demonstrates "multiple definition" of weak symbol is not an issue:
+
+```cpp
+// test3.h
+void non_exist_func();
+void API3_func();
+
+inline void func() {
+}
+
+// test3.cpp
+#include "test3.h"
+
+void non_exist_func() {
+        int a = 3;
+}
+
+void API3_func() {
+        func();
+}
+
+// main.cpp
+void API_Func();
+void API3_func();
+
+int main() {
+        API_Func();
+        API3_func();
+        return 0;
+}
+``` 
+
+Build test3 as shared library and link with main:
+
+```bash
+$ g++ -g test3.cpp -shared -o libtest3.so
+$ g++ -g main.cpp -L. -ltestInline -ltest3 -o testMain.out
+$ readelf -s libtest3.so
+...
+    50: 000000000000113b    11 FUNC    WEAK   DEFAULT   12 _Z4funcv
+    53: 0000000000001119    18 FUNC    GLOBAL DEFAULT   12 _Z14non_exist_funcv
+    54: 000000000000112b    16 FUNC    GLOBAL DEFAULT   12 _Z9API3_funcv
+$ export LD_LIBRARY_PATH=./
+$ ./testMain.out    
+$
+```
+
+Now we can see:
+1. libtestInline.so has no dependency on libtest3.so, although there is a function definition in libtest3.so but referenced in libtestInline.so
+2. the weak symbol "func" has been defined in both shared libraries, but it doesn't matter when running with main.
+
+The next question is: which code will be built as symbol (to be continued...)