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

Question

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

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

玩代码。

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::variantAPI 包括std::holds_alternative. 你可以直接检查。这将避免在常规控制流中使用异常。