Here is a result that completely characterizes the uniformities that are generated by metrics as opposed to pseudometrics.
$\mathbf{Theorem}$ Let $(X,\mathcal{U})$ be a uniform space. Then the following are equivalent.
There are $R_{n}\in\mathcal{U}$ for all natural numbers $n$ such that $\bigcap_{n}R_{n}:=1_{X}=\{(x,x)|x\in X\}$.
there is a non-empty set of metrics $\mathcal{D}$ such that $R\in\mathcal{U}$ if and only if there is some $d\in\mathcal{D}$ and some $\epsilon>0$ with $U_{d}(\epsilon)\subseteq R$.
$\mathbf{Proof}$ $2\rightarrow 1$ Assume that $\mathcal{D}$ is a set of metrics such that $R\in\mathcal{U}$ if and only if there is some $d\in\mathcal{D},\epsilon>0$ with $U_{d}(\epsilon)\subseteq R$. Then $1_{X}=\bigcap_{n}U_{d}(\frac{1}{n})$ and $U_{d}(\frac{1}{n})\in\mathcal{U}$ for all $n$.
$1\rightarrow 2$ Assume that there is a sequence $(R_n)_n$ where $R_{n}\in\mathcal{U}$ for all $n$ and such that $\bigcap_n R_n=1_X$. Let $V$ be the set of all sequences $S=(S_{n})_{n}$ such that $\bigcap_{n}S_{n}=1_{X}$, $S_{n}=S_{n}^{-1}:=\{(y,x)|(x,y)\in S_{n}\}$ for all $n$, and where $S_{n+1}\circ S_{n+1}:=\{(x,z)|\exists y,(x,y),(y,z)\in S_{n+1}\}\subseteq S_{n}$. Then by this question, for all $S\in V$ there is a pseudometric $d_{S}$ such that $S_{n}\subseteq R$ for some $n$ if and only if there is some $\epsilon>0$ where $U_{d_{S}}(\epsilon)\subseteq R$. Furthermore, the pseudometric $d_{S}$ is clearly a metric. I claim that the system of metrics $\{d_{S}|S\in V\}$ generates the uniformity $\mathcal{U}$. If $S=(S_{n})_{n}\in V$ and $\epsilon>0$, then $S_{n}\subseteq U_{d_{S}}(\epsilon)$ for some $n$, so since $S_{n}\in\mathcal{U}$, we have $U_{d_{S}}(\epsilon)\in\mathcal{U}$. However, if $R\in\mathcal{U}$, then since $\bigcap_{n}R_{n}=1_{X}$, there is some $S=(S_{n})_{n}\in V$ with $S_{n}\subseteq R_{n}$ for all $n$ and where $S_{0}\subseteq R$. Then there is some $\epsilon>0$ where $U_{d_{S}}(\epsilon)\subseteq S_{0}\subseteq R$.
$\mathbf{QED}$
Of course, there are many uniformities in which $\bigcap_{n}R_{n}\neq 1_{X}$ for any choice of $R_{n}\in\mathcal{U}$ for all $n$. For instance, if $(X,\mathcal{U})$ is generated by a system of metrics, then every point in $X$ is a $G_{\delta}$-set. In fact, there are even uniformities $(X,\mathcal{U})$ such that the intersection of countably many entourages is an entourage (I am currently writing a paper with a result about those uniformities). For example, if $X$ is a set with $|X|>2^{\aleph_{0}}$ and $\mathcal{E}$ is the set of all equivalence relations that partition $X$ into at most $2^{\aleph_{0}}$ pieces, then $\mathcal{E}$ generates a uniformity on $X$ such that the intersection of countably many entourages is an entourage.
