Question

我想到了一个类似于std::is_same的模板比较器。如果两个模板相同，那么至少给定模板参数的其实例化将是相同的。

template<template<class...> class LHS, template<class..> class RHS, class... S>
using is_same_template = std::is_same<LHS<S...>, RHS<S...>>::value;

是否可以比较没有LHS的{{1}}和RHS？我相信，如果没有S...，则无论如何都必须在S...上实例化比较器。如果它们是模板函数，那么我将无法比较它们，而需要比较它们的实例化。我的直觉是正确的吗？

Answer 1

对于类型或值，您可能会采用与模板相同的方法。前两行仅显示模板的用法，不需要equals或tag函数或所提供模板的任何参数。后两个从值中提取模板，并对它们执行相同的测试。

#include <iostream>

template<class...> struct A {};
template<class...> struct B {};

template<template<class...> class S>
struct Tag;

template<template<class...> class S>
struct Tag {
    template<template<class...> class T>
    constexpr auto equals(Tag<T>) -> std::false_type { return {}; }
    constexpr auto equals(Tag<S>) -> std::true_type { return {}; }
};

template<template<class...> class T, class... V>
Tag<T> tag(T<V...> const&) { return {}; }

template<class S, class T>
auto equals(S && s, T && t) -> decltype(tag(s).equals(tag(t))) { return {}; }

int main(int argc, const char *argv[]) {
    using namespace std;

    cout << Tag<A>{}.equals(Tag<A>{}) << "; " << Tag<A>{}.equals(Tag<B>{}) << endl;
    // 1; 0
    cout << Tag<B>{}.equals(Tag<A>{}) << "; " << Tag<B>{}.equals(Tag<B>{}) << endl;
    // 0; 1

    A<float> af;
    A<double> ad;
    B<int> bi;
    B<char, char> bcs;

    cout << equals(af, ad) << "; " << equals(af, bi) << endl;
    // 1; 0
    cout << equals(bi, ad) << "; " << equals(bi, bcs) << endl;
    // 0; 1

}

Answer 2

我想到了一个类似于std :: is_same的模板比较器。 [...]有没有办法比较没有LHS的{{1}}和RHS？

您可以从this page中S...的“可能实现”中获得启发，并为template-template写一个类似的东西

std::is_same

您可以验证

template <template <typename ...> class, template <typename ...> class>
struct is_tpl_same : public std::false_type
 { };

template <template <typename ...> class C>
struct is_tpl_same<C, C> : public std::true_type
 { };

在C ++中，您能否以比较类型的方式来比较模板？

2 个答案: