非推导上下文（nondeduced context）下模板实参推导问题及C++17可扩展方案问询

问题场景 #

以下代码因编译器无法完成模板参数推导（属于非推导上下文场景）而编译失败：

#include <iostream>
#include <utility>
#include <vector>

enum class animal : size_t { cat, dog };

template <animal a, class... U>
using animal_select_t = typename std::tuple_element<static_cast<size_t>(a), std::tuple<U...>>::type;

template <animal a>
using mytype = animal_select_t<a, int, double>;

template <animal a>
void print(std::vector<mytype<a>>&& vec)
{
  for (const auto& x : vec)
    std::cout << x << std::endl;
  vec.resize(0);
}

int main()
{
  std::vector<int> v(3, 1);
  print(std::move(v));
  std::cout << v.size() << std::endl;

  return 0;
}

编译错误信息 #

deduce.cpp: In function ‘int main()’:
deduce.cpp:24:8: error: no matching function for call to ‘print(std::remove_reference<std::vector<int>&>::type)’
   24 |   print(std::move(v));
      |   ~~~~~^~~~~~~~~~~~~~
deduce.cpp:14:6: note: candidate: ‘template<animal a> void print(std::vector<typename std::tuple_element<static_cast<long unsigned int>(a), std::tuple<int, double> >::type>&&)’
   14 | void print(std::vector<mytype<a>>&& vec)
      |      ^~~~~
deduce.cpp:14:6: note:   template argument deduction/substitution failed:
deduce.cpp:24:8: note:   couldn’t deduce template parameter ‘a’
   24 |   print(std::move(v));

核心原因：std::vector<mytype<a>>中的mytype<a>属于依赖模板参数a的嵌套类型，编译器无法从传入的std::vector<int>反向推导出对应的a值。

需求分析 #

需要基于C++17实现满足以下要求的解决方案：

• 限制print仅能接受mytype<a>（a为animal枚举值）类型的std::vector实例
• 自动推导对应的animal模板参数
• 具备可扩展性：修改animal枚举或mytype类型别名后无需大幅改动代码

解决方案 #

通过**类型特征（Type Trait）**建立mytype<a>类型与animal枚举值的映射，结合SFINAE实现类型限制与参数推导：

#include <iostream>
#include <utility>
#include <vector>
#include <type_traits>

enum class animal : size_t { cat, dog };

template <animal a, class... U>
using animal_select_t = typename std::tuple_element<static_cast<size_t>(a), std::tuple<U...>>::type;

template <animal a>
using mytype = animal_select_t<a, int, double>;

// 类型特征：判断类型T是否为mytype<a>，并关联对应的animal枚举值
template <typename T>
struct animal_from_mytype : std::false_type {};

// 针对每个mytype<a>特化，标记为合法类型并记录对应的a
template <animal a>
struct animal_from_mytype<mytype<a>> : std::true_type {
    static constexpr animal value = a;
};

// 辅助变量模板，简化类型判断与枚举值获取
template <typename T>
constexpr bool is_mytype_v = animal_from_mytype<T>::value;

template <typename T>
constexpr animal animal_from_mytype_v = animal_from_mytype<T>::value;

// 改进后的print函数：仅接受mytype<a>类型的vector
template <typename T, typename = std::enable_if_t<is_mytype_v<T>>>
void print(std::vector<T>&& vec)
{
    // 编译期推导对应的animal枚举值
    constexpr animal a = animal_from_mytype_v<T>;
    
    // 可按需使用a，例如打印对应的枚举标识
    std::cout << "对应的animal枚举值：" << static_cast<size_t>(a) << "\n";
    
    for (const auto& x : vec)
        std::cout << x << "\n";
    vec.resize(0);
}

int main()
{
    std::vector<int> v(3, 1);
    print(std::move(v)); // 自动推导T=int，对应animal::cat
    std::cout << "vector大小：" << v.size() << "\n";

    std::vector<double> v2(2, 3.14);
    print(std::move(v2)); // 自动推导T=double，对应animal::dog
    std::cout << "vector大小：" << v2.size() << "\n";

    // 以下代码会编译错误，符合类型限制要求
    // std::vector<float> v3(1, 0.5f);
    // print(std::move(v3));

    return 0;
}

方案说明 #

1. 类型限制：通过std::enable_if_t<is_mytype_v<T>>确保print仅能被mytype<a>类型的std::vector实例化，非法类型会触发SFINAE被编译器排除。
2. 参数推导：利用特化的animal_from_mytype类型特征，在编译期从T（即mytype<a>的底层类型）反向获取对应的animal枚举值。
3. 扩展性：
   • 若新增animal枚举值（如bird），只需定义mytype<animal::bird>，类型特征会自动匹配，无需修改print函数。
   • 若修改mytype的底层实现（如更换animal_select_t的模板参数），只需同步更新animal_from_mytype的特化逻辑即可。

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