You are right that gauging a global symmetry requires the addition of another field and gives rise to electromagnetic interactions (for instance) in your theory. But you can also look at it from the other direction: if you start with some basic theory and then attempt to include electromagnetic interactions, you will see that you must demand that the complex field is invariant under local $U(1)$ transformations, or else you will lose certain desirable properties of the theory (for example, gauge invariance).
To see this, consider the most elementary non-relativistic quantum theory, where the dynamics are governed by the Schrodinger equation $H\Psi=i\hbar\partial_t\Psi$ (which is invariant under global phase transformations). If you want to introduce EM interactions, you can define the Hamiltonian of a charge particle in an EM field by
$$H=\frac{(\vec{p}-\frac{e}{c}\vec{A})^2}{2m}+eV.$$
Then the Schrodinger equation becomes
$$\left(\frac{(\vec{p}-\frac{e}{c}\vec{A})^2}{2m}+eV\right)\Psi=i\hbar\partial_t\Psi$$
which can be rewritten
\begin{equation}
-\frac{\hbar^2}{2m}\left({\nabla}-\frac{ie}{\hbar c}\vec{A} \right)^2\Psi=i\hbar\left(\partial_t+\frac{ie}{\hbar}V \right)\Psi. \tag{1}
\end{equation}
However, we know that Maxwell's equations should be invariant under gauge transformations:
\begin{align}
V\rightarrow V'&=V-\frac{1}{c}\partial_t \chi\\
\vec{A}\rightarrow \vec{A}'&=\vec{A}+{\nabla}\chi
\end{align}
where $\chi=\chi(t,\vec{r})$. But you can show that $(1)$ is not invariant under these transformations; extra terms will appear on the LHS and RHS that do not cancel. Gauge invariance is lost! However, if you supplement the gauge transformations by a spacetime-dependent phase change
$$\Psi(\vec{r},t)\rightarrow \Psi'(\vec{r},t)=e^{\frac{ie}{\hbar c}\chi(\vec{r},t)}\Psi(\vec{r},t)$$
then you will see that these extra terms will cancel, and gauge invariance is restored. The main point is that the demand for local $U(1)$ symmetry can arise in a natural way when you are trying to include EM interactions in your theory. Gauging the global symmetry of the theory is not just a mathematical trick; it reflects the fact that electromagnetism is fundamentally a gauge interaction, and is required to maintain gauge invariance.
Although this argument was made for a non-relativistic theory, it can be extended for the Dirac or Klein-Gordon equations in a straightforward way (although a Lagrangian approach is probably simplest). The local $U(1)$ symmetry for electromagnetism can also be generalized for non-Abelian gauge theories.