标签: tag-dispatching

让我们std::unique_lock从标准库中实现:

struct defer_lock_t { explicit defer_lock_t() = default; };
struct try_to_lock_t { explicit try_to_lock_t() = default; };
struct adopt_lock_t { explicit adopt_lock_t() = default; };

inline constexpr defer_lock_t  defer_lock {};
inline constexpr try_to_lock_t try_to_lock {};
inline constexpr adopt_lock_t  adopt_lock {};

unique_lock (mutex_type& m, defer_lock_t t) noexcept;
unique_lock (mutex_type& m, try_to_lock_t t);
unique_lock (mutex_type& m, adopt_lock_t t);

是否有人不会/不能/不应该使用枚举而不是结构来实现标签调度？如:

enum defer_lock_t { defer_lock };
enum try_to_lock_t { try_to_lock };
enum adopt_lock_t { adopt_lock };

unique_lock (mutex_type& m, defer_lock_t t) noexcept; …

在此视频中，https： //youtu.be/Vkck4EU2lOU？t = 582展示了“标签分发”和SFINAE作为替代方案，使您可以选择所需的模板功能。

这是对的吗？不是使用SFINAE进行“标签分配”吗？如果正确，那么SFINAE和代码分发之间到底有什么区别？

下面的代码会val2在两次f()调用中打印。f()根据枚举值执行特定分支的正确方法是什么？

enum class E
{
    val1,
    val2
};

using val1_t = std::integral_constant<E, E::val1>;
using val2_t = std::integral_constant<E, E::val2>;
    

template <typename T>
void f(T t)
{
    if constexpr (std::is_same_v<T, val1_t>)
    {
        std::cerr << "val1\n";
    }
    else
    {
        std::cerr << "val2\n";
    }
}


int main()
{
    f(E::val1);
    f(E::val2);
}