bash/Makefile 中的双美元符号是什么意思？

Question

When inserting a shell script inside a Makefile we have (?) to use a double dollar sign ($$) to make reference to variables. Why is that so?

for number in 1 2 3 4 ; do \
    echo $$number ; \
done

Answer 1

As per gnu make official doc :

Variable and function references in recipes have identical syntax and semantics to references elsewhere in the makefile. They also have the same quoting rules: if you want a dollar sign to appear in your recipe, you must double it ('$$'). For shells like the default shell, that use dollar signs to introduce variables, it's important to keep clear in your mind whether the variable you want to reference is a make variable (use a single dollar sign) or a shell variable (use two dollar signs).

So in short:

• makefile variable => use a single dollar sign
• shell variable => use two dollar signs

Answer 2

$$ is the PID of your current process.

$ ps -ef|grep $$
user       208465  200620  0 10:30 pts/4    00:00:00 bash

$ for number in 1 2 3 4 ; do \
    echo $$number ; \
done
208465number
208465number
208465number
208465number

Answer 3

Not directly applicable to this example -- except if the code shown is executed via $(shell ...) instead of being a rule:

With secondary expansion enabled, make might also interpret the double dollar itself in the second processing phase, when it occurrs in the prequisites list. (First phase: read file, set variables; second phase: find and invoke dependency targets, execute rules)

This is used to allow dynamically specifying dependency targets, when the variable with the targets name is only available later in the file.

See https://www.gnu.org/software/make/manual/html_node/Secondary-Expansion.html .

Answer 4

When you use this: echo $$ in your shell, youmay see:

echo $$
486