检查模板参数是否是引用 [C++03]

发布于 2024-12-21 01:47:02 字数 728 浏览 2 评论 0原文

我想检查 C++03 中的模板参数是否为引用类型。（我们在 C++11 和 Boost 中已经有了 is_reference）。

我利用了 SFINAE 以及我们无法拥有指向引用的指针这一事实。

这是我的解决方案

#include <iostream>
template<typename T>
class IsReference {
  private:
    typedef char One;
    typedef struct { char a[2]; } Two;
    template<typename C> static One test(C*);
    template<typename C> static Two test(...);
  public:
    enum { val = sizeof(IsReference<T>::template test<T>(0)) == 1 };
    enum { result = !val };

};

int main()
{
   std::cout<< IsReference<int&>::result; // outputs 1
   std::cout<< IsReference<int>::result;  // outputs 0
}

有什么特殊问题吗？谁能为我提供更好的解决方案？

原文

I want to check whether a template argument is of reference type or not in C++03. (We already have is_reference in C++11 and Boost).

I made use of SFINAE and the fact that we can't have a pointer to a reference.

Here is my solution

#include <iostream>
template<typename T>
class IsReference {
  private:
    typedef char One;
    typedef struct { char a[2]; } Two;
    template<typename C> static One test(C*);
    template<typename C> static Two test(...);
  public:
    enum { val = sizeof(IsReference<T>::template test<T>(0)) == 1 };
    enum { result = !val };

};

int main()
{
   std::cout<< IsReference<int&>::result; // outputs 1
   std::cout<< IsReference<int>::result;  // outputs 0
}

Any particular issues with it? Can anyone provide me a better solution?

分享到QQ

分享到微博

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

发布评论

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

回忆凄美了谁 2024-12-28 01:47:02

你可以更容易地做到这一点：

template <typename T> struct IsRef {
  static bool const result = false;
};
template <typename T> struct IsRef<T&> {
  static bool const result = true;
};

You can do this a lot easier:

template <typename T> struct IsRef {
  static bool const result = false;
};
template <typename T> struct IsRef<T&> {
  static bool const result = true;
};

回复收藏 0 原文

云柯 2024-12-28 01:47:02

几年前，我写过这样的内容：

//! compile-time boolean type
template< bool b >
struct bool_ {
    enum { result = b!=0 };
    typedef bool_ result_t;
};

template< typename T >
struct is_reference : bool_<false> {};

template< typename T >
struct is_reference<T&> : bool_<true> {};

对我来说，这似乎比你的解决方案更简单。

然而，它只使用过几次，可能会遗漏一些东西。

Years ago, I wrote this:

//! compile-time boolean type
template< bool b >
struct bool_ {
    enum { result = b!=0 };
    typedef bool_ result_t;
};

template< typename T >
struct is_reference : bool_<false> {};

template< typename T >
struct is_reference<T&> : bool_<true> {};

To me it seems simpler than your solution.

However, it was only ever used a few times, and might be missing something.

回复收藏 0 原文

~没有更多了~