调用此模板时如何避免使用 decltype？

Question

我有以下代码，用于自动捕获bad_variant_access 错误。我知道我可以使用get_if 来简化错误处理，但在这种特殊情况下，我不需要指针。这段代码似乎可以工作，但是是多余的。如您所见，我总是要做assert_no_bad_variant_access<decltype(v), int>(v, "msg");。我可以以某种方式简化它以避免必须通过decltype(v)吗？对我来说似乎很罗嗦。

理想情况下，我想要一个模板，我只需要传递get_T。 variant_T 应该以某种方式自动确定。

Play with the code.

template <typename variant_T, typename get_T>
get_T assert_no_bad_variant_access(variant_T& v, std::string_view msg) {
  try {
    return std::get<get_T>(v);
  } catch (const std::bad_variant_access& bva) {
    std::cout << msg << '\n';
    get_T t;
    return t;
  }
}

int main() 
{

    std::variant<int, double, std::string> v = "hi there!";
    auto result1 = assert_no_bad_variant_access<decltype(v), std::string>(v, "std::string failed");
    auto result2 = assert_no_bad_variant_access<decltype(v), int>(v, "int failed");
    return 0;   
}

Answer 1

重新排序模板参数。让variant_T排在第二位，这样就可以推导出来了

template <typename get_T, typename variant_T>
get_T assert_no_bad_variant_access(variant_T& v, std::string_view msg) {
  try {
    return std::get<get_T>(v);
  } catch (const std::bad_variant_access& bva) {
    std::cout << msg << '\n';
    get_T t;
    return t;
  }
}

int main() 
{

    std::variant<int, double, std::string> v = "hi there!";
    auto result1 = assert_no_bad_variant_access<std::string>(v, "std::string failed");
    auto result2 = assert_no_bad_variant_access<int>(v, "int failed");
    return 0;   
}

请记住，只有在 尾随 可以推导出来时，我们才能指定模板参数的一部分。

顺便说一句，您不需要使用异常来检测这种情况。 std::variant API 包括 std::holds_alternative。你可以直接检查。这将避免对常规控制流使用异常。