gen_server：什么是`start_monitor/4`中的`Mon`？

Question

OTP 文档说gen_server:start_monitor/4 的签名是：

start_monitor(ServerName, Module, Args, Options) -> Result
OTP 23.0
Types
ServerName = {local,Name} | {global,GlobalName}
  | {via,Module,ViaName}
 Name = atom()
 GlobalName = ViaName = term()
Module = atom()
Args = term()
Options = [Option]
 Option = {debug,Dbgs} | {timeout,Time} | {hibernate_after,HibernateAfterTimeout} | {spawn_opt,SOpts}
  Dbgs = [Dbg]
   Dbg = trace | log | statistics | {log_to_file,FileName} | {install,{Func,FuncState}}
  SOpts = [term()]
Result = {ok,{Pid,Mon}} | ignore | {error,Error}
 Pid = pid()
 Error = {already_started,Pid} | term()

Mon 是什么？文档只是说：

“Mon 是对设置监控服务器的监控器的引用”

所以现在我知道Mon 是一个监视器并且它正在监视，但它的类型是什么？

阅读erlang.erl，我发现：

-type registered_name() :: atom().
-type registered_process_identifier() :: registered_name() | {registered_name(), node()}.
-type monitor_process_identifier() :: pid() | registered_process_identifier().

Monpid() | atom() | {atom(), node()} 的类型也是？

Answer 1

Mon是监视器的引用：

monitor_return({{ok, Pid}, Mon}) when is_pid(Pid), is_reference(Mon) ->
    %% Successful start_monitor()...
    {ok, {Pid, Mon}};

（代码为here）