Question

我正在使用此宏来确保某些类型排队：

#define TYPE_EQ(t1, t2) static_assert(std::is_same<t1, t2>::value)

忍受我惯用的例子：

#include <iostream>

#define TYPE_EQ(t1, t2) static_assert(std::is_same<t1, t2>::value)

class Fn1 {
 public:
    int operator()(const char s) {
        return s == 'a' ? 0 : 1;
    }
    typedef char Domain;
    typedef int Codomain;
};

class Fn2 {
 public:
    char operator()(const bool s) {
        return s ? 'a' : 'b';
    }
    typedef bool Domain;
    typedef char Codomain;
};

template<typename F1, typename F2>
class Compose {
 public:
    Compose () {
        TYPE_EQ(typename F1::Domain, typename F2::Codomain);
    }

    typedef typename F1::Codomain Codomain;
    typedef typename F2::Domain Domain;

    Codomain operator()(const Domain& x) {
        F1 f1;
        F2 f2;
        return f1(f2(x));
    }
};

int main() {
    std::cout << Compose<Fn2, Fn1>()(true) << std::endl;
    return 0;
}

这里我简单地error: static_assert failed，但我想知道类型不匹配是什么。为此，我想我需要在编译时对类型进行字符串表示，例如我可以：

#define TYPE_EQ(t1, t2) static_assert(std::is_same<t1, t2>::value, \
                                      type_str(t1) " != " type_str(t2))

编辑：我并不认为编制者会对此有所不同。我没有gcc自动柜员机，但是铿锵作响：

g++ -Wall -std=c++17 test.cc -o test && ./test
test.cc:27:9: error: static_assert failed
        TYPE_EQ(typename F1::Domain, typename F2::Codomain);
        ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
test.cc:3:25: note: expanded from macro 'TYPE_EQ'
#define TYPE_EQ(t1, t2) static_assert(std::is_same<t1, t2>::value)
                        ^             ~~~~~~~~~~~~~~~~~~~~~~~~~~~
test.cc:41:18: note: in instantiation of member function 'Compose<Fn2, Fn1>::Compose'
      requested here
    std::cout << Compose<Fn2, Fn1>()(true) << std::endl;
                 ^
1 error generated.

澄清真正的问题要复杂得多，所以我想要最终的类型，即int和boo，而不是类型名称。

Answer 1

检索调试类型的经典方法是使用不完整类型：

template <typename> struct Debug;

Debug<Fn1::Domain> d;

产生类似于：

的错误

错误：汇总＆＃39; Debug<char> d＆＃39;有不完整的类型，无法定义
Debug<Fn1::Domain> d;

C ++类型名称作为static_assert中错误报告的文字字符串

1 个答案: