C++17中函数声明与定义使用typedef别名是否合法？

这种写法完全符合C++标准，不会违反One Definition Rule（ODR），原因如下：

• using声明的类型别名是原类型的等价别名，并非新类型。MyTypePtr和std::shared_ptr<MyType>在C++类型系统中是完全相同的类型，只是书写形式不同。
• ODR对函数定义的核心要求是：同一函数的所有声明与定义必须等效。这里的等效指的是解析后的语义一致，而非书写的token序列完全相同。只要参数类型最终解析为同一类型，就满足ODR的要求。
• 编译阶段，编译器会将类型别名直接替换为原类型，因此函数声明void myFunc(std::shared_ptr<MyType> ptr);和定义void myFunc(MyTypePtr ptr) {}的函数签名完全匹配，不存在不兼容的情况。

实际验证中，MSVC和GCC的行为符合标准，不会对此报错，这类用法在项目中也很常见——用类型别名简化冗长的类型书写，只要确保类型别名的定义在所有使用场景中一致（比如将using MyTypePtr = std::shared_ptr<MyType>放在公共头文件中），就不会引发任何问题。

内容的提问来源于stack exchange，提问作者jcoder