static_assert 中的 decltype

发布于 2024-10-18 05:40:39 字数 415 浏览 5 评论 0 原文

为什么类定义中的 this (static_assert) 不起作用？

template<class IntT, IntT low = IntT(), IntT high = IntT()>
struct X 
{
    static_assert(std::is_same<decltype(low),decltype(high)>::value,"Different types not allowed");
};



int _tmain(int argc, _TCHAR* argv[])
{
    int low, high;

    X<char,1,'a'> x;//HERE I SHOULD GET ERROR
    cout << sizeof(x);

    return 0;
}

原文

Why this (static_assert) in a definition of a class doesn't work?

template<class IntT, IntT low = IntT(), IntT high = IntT()>
struct X 
{
    static_assert(std::is_same<decltype(low),decltype(high)>::value,"Different types not allowed");
};



int _tmain(int argc, _TCHAR* argv[])
{
    int low, high;

    X<char,1,'a'> x;//HERE I SHOULD GET ERROR
    cout << sizeof(x);

    return 0;
}

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

相守太难 2024-10-25 05:40:39

static_assert 工作正常，是你的代码从不断言。
模板 struct X 定义 low 和 high 类型为 IntT。无论它们具有什么值，它们都是相同的类型。
当您实例化结构体 (X x) 时，您是在告诉编译器 IntT 的类型是 char 并为 low 赋予值 1，为 high 赋予值 'a'（即 97）。但是，low 和 high 的类型始终为 char，因此 static_assert 永远不会断言。