C++模板函数冲突引发二义性错误的问题咨询

各位大佬好，我最近在写一个基于属性类型映射的C++模板代码时，碰到了模板函数二义性的问题，卡了好一会儿都没理清原因，想请教下大家的思路。

先贴一下我的简化版代码：

#include <iostream> 
#include <string> 
#include <vector> 
#include <typeindex>  

// 定义属性标记类型
namespace Attr {
    struct Int {};
    struct Float {};
    struct String {};

    // 属性类型到实际类型的映射模板
    template <typename T> struct TypeMap; // 主模板声明

    // 特化映射规则
    template <> struct TypeMap<Int> { using type = int; };
    template <> struct TypeMap<Float> { using type = float; };
    template <> struct TypeMap<String> { using type = std::string; };
}

// 针对属性类型的setValue重载
template <typename AttrType>
void setValue(typename Attr::TypeMap<AttrType>::type value) {
    std::cout << "处理属性类型对应的值: " << typeid(AttrType).name() << " -> " << value << std::endl;
}

// 通用类型的setValue重载
template <typename ValueType>
void setValue(ValueType value) {
    std::cout << "处理通用类型的值: " << value << std::endl;
}

int main() {
    // 这里调用时编译器报二义性错误
    setValue<Attr::Int>(123); 
    return 0;
}

我的预期是，当显式指定模板参数为Attr::Int这类属性标记类型时，编译器应该优先匹配第一个setValue模板——因为它的参数是通过TypeMap映射出来的实际类型。但实际编译时，编译器提示这两个模板函数的调用存在二义性，无法确定选择哪一个。

我试过调整两个模板的定义顺序，也尝试用std::enable_if来约束通用模板，但要么没效果，要么写出来的代码特别繁琐。想问问大家：

• 为什么会出现这种二义性？编译器在模板匹配时的逻辑是怎样的？
• 有没有比较优雅的方式来解决这个问题，让针对属性类型的重载被优先选中？

内容来源于stack exchange