return 타입과 돌려주는 변수의 타입이 달라도 되는건가요?

dorado2의 이미지

아래와 같은 함수가 허용되는 이유는 뭔가요?

struct hdr_ip {

	ns_addr_t	src_;
	ns_addr_t	dst_;
	int		ttl_;

	/* IPv6 */
	int		fid_;	/* flow id */
	int		prio_;

	static int offset_;
	inline static int& offset() { return offset_; }
	inline static hdr_ip* access(const Packet* p) {
		return (hdr_ip*) p->access(offset_);
	}

	/* per-field member acces functions */
	ns_addr_t& src() { return (src_); }
	nsaddr_t& saddr() { return (src_.addr_); }
        int32_t& sport() { return src_.port_;}

	ns_addr_t& dst() { return (dst_); }
	nsaddr_t& daddr() { return (dst_.addr_); }
        int32_t& dport() { return dst_.port_;}
	int& ttl() { return (ttl_); }
	/* ipv6 fields */
	int& flowid() { return (fid_); }
	int& prio() { return (prio_); }
};

ns-2 라는 네트워크 시뮬레이터의 소스중 한 부분인데요...
(C++, TCL 기반입니다.)

위에서 int ttl_ 이라고 선언을 하고..

int& ttl() { return (ttl_); }

위와 같은 함수를 정의했습니다. return 타입이 int가 되야 맞는 것 같은데,
int&로 return 하는군요.

그리고

	int ttl = iph->ttl() - tick_;
	iph->ttl() = ttl;

처럼 값을 얻어올 때도, 값을 넣어줄 때도 다 사용을 하는군요...

저게 가능한 이유가 무엇인지 알고 싶습니다.
물론 컴파일, 동작은 다 잘되는 코드입니다.

pynoos의 이미지

return type으로 암시적 형변환이 일어나거나,
return type의 생성자의 인자로 넘어갈 수 있는 조합이 있으면 가능합니다.

위의 예는

int y = 1;
int & x(y);

에서 x 의 생성자를 보면 가능하듯이 int & 의 생성자에 int 형이 들어갈 수 있으므로 가능하다고 생각하시면 됩니다.