How do I get the sizeof(T) safely in boost if T can be void?
我试图弄清楚如何获取一些代码，这些代码将确定函数模板中T的返回值的大小，其中T是函数原型。
1
2
3
4
5
6
7
8
| template<typename T>
void functionReturnLength()
{
long lReturnTypeSize = boost::mpl::eval_if<
boost::is_void<boost::function_types::result_type< T >::type>::value,
boost::mpl::long_<0>,
boost::mpl::long_<boost::mpl::sizeof_<boost::function_types::result_type< T >::type>::value>>::value;
} |
但是它仍然无法编译，因为sizeof(void)不是有效的操作-即使我试图构造一个if语句，如果该类型为void也会返回大小为0。我是BOOST MPL的新手，因此，尽管我浏览文档已有一段时间，但是我不确定如何应用if_或apply_if之类的其他if，以及这些方法是否还能工作。
谢谢。
您可以使用自己的元功能
1
2
3
4
5
| template<typename T>
struct get_size { static const size_t value = sizeof(T); };
template<>
struct get_size<void> { static const size_t value = 0; }; |
- 更好的是，他可以说value = void_has_no_size()，这会使编译器抱怨说没有void_has_no_size()这样的功能。
-
@保罗·曼塔：行动党的愿望是使虚无为0。
-
@curiousguy显然。但在某些情况下，这是可取的。
-
@PaulManta您无法编??译的程序有什么意义？
-
@curiousguy当您知道您的模板不能使用某种特定类型正确运行时，请进行制作，以使您无法编译该特定类型。
-
@curiousguy：考虑static_assert
-
@JohnDibling永远无法编译的程序的意义是什么？
-
@JohnDibling re：保罗·曼塔斯(Paul Mantas)的第一则评论
-
sizeof(void)= 0是理想的效果，因为类型大小对应于类型分类(即是否为原始类型)，如果该类型为原始类型且类型为void，则不应检查该大小，但是代码必须编译一种方式或另一种方式，将0作为sizeof(void)返回更有意义。虽然我知道这不是可移植的，但在内部已足够使用它，所以效果不大。谢谢Abyx，我不知道为什么我没有想到做那个xd。我以为我对使用boost太固定了，大声笑。我认为我将把它放开一天，看看是否可以使用boost提高方法。
-
@curiousguy：但是，除非我误解了，否则这是关于如何在传递void时使static_assert类型的函数失败的建议。
-
如果T是对象类型，则@PaulManta sizeof (T)将使代码可编译，而当T是void时，@ PaulManta将使代码不可编译。调用未声明的函数void_has_no_size()将始终使代码不可编译。
-
@ user1070878讨论有些偏离。这里有一个子线程。
-
@curiousguy：我不明白。 PaulManta建议的代码不会总是无法编译-只有在传递void模板参数时，它才会编译失败。
-
@curiousguy：由于这是PaulMantas的建议，病态请他详细说明。
-
@JohnDibling我猜像template<> struct get_size<void> { static const size_t value = void_has_no_size(); };之类的东西无法编译。
-
@curiousguy我的意思是仅在适当的模板专业化中使用不存在的函数。由于sizeof(void)无论如何都不会编译，因此，它的争论不休，但这是禁止模板中某些类型的常见做法(称为不存在的函数)。
-
@curiousguy我不会去寻找代码...如果您好奇(ha！得到了吗？：P)，请进入Boost。我想我也曾经在这里看到过这种用法。
-
@PaulManta我知道Boost不会在不久的将来调用未声明的函数。
-
"但是，(禁止使用不存在的函数)是禁止模板中某些类型的一种常见做法"，顺便说一句，get_size<void>并不是模板，它是类模板的显式专业化。
-
@curiousguy，请参见boost::noncopyable或BOOST_STATIC_ASSERT-它们会阻止编译，并使用带有一些有意义名称的标识符来产生可读错误。并且请停止在此处添加评论，创建新问题或聊天室。
-
"提出新问题"，但我没有问题。这确实是一件小事。我想看一下证据的注释，现在我有了答案：证据不存在，注释有误，故事已结束。 (也请不要告诉我不要添加评论，以回复不正确和误导性的评论。)
-
抱歉，@ curiousguy就在这里。如果将void的显式专业化中的0替换为void_has_no_size()，则该代码将永远不会编译，直到该函数既是constexpr(仅在C 11中可用)并且使用返回值定义时为止点它会一直编译。可以在模板查找的第一阶段查找显式专业知识。仅嵌套的模板化内容可以推迟到查找的第二阶段(或功能模板)。请参见此处，以获取有关如何实现该功能的简单示例。