首页 > 编程语言 > 详细

[c++] constexpr and literal class

时间：2016-12-22 11:16:56 阅读：424 评论：0 收藏：0 [点我收藏+]

标签：targe block compile get indent cout tle ror sse

稀奇古怪的新特性，菜鸟在此啄上一啄。

When should literal classes be used in C++?

int i; // not constant
const int size = i; // fine! 可以，但为什么不在这里就先判断出问题的隐患呢？

int arr[size]; // Error!

然而对于constexpr，则表明这个值不仅是constant的，而且也是编译期确定的

int i; // not constant
constexpr int size = i; // Error!

于是，constexpr修饰的变量是可以表示数组大小的。

放在 stack上的数组也是可以的，比如main中的如下：

int main()
{
   int i;
   cin >> i;
   int arr[i];
}

跟const无关，而是使用了C99的一个特性，名叫variable length array（简称VLA）。

而为什么我们需要constexpr呢？那就是为了性能。

Want speed? Use constexpr meta-programming!

static的方式是最快的。

When should you use constexpr capability in C++11?

Suppose it does something a little more complicated.

constexpr int MeaningOfLife ( int a, int b ) { return a * b; }
const int meaningOfLife = MeaningOfLife( 6, 7 );

使用组合！

Now you have something that can be evaluated down to a constant while maintaining good readability and allowing slightly more complex processing than just setting a constant to a number.

It basically provides a good aid to maintainability as it becomes more obvious what you are doing. Take max( a, b ) for example:

template< typename Type > constexpr Type max( Type a, Type b ) { return a < b ? b : a; }

替代模板计算的一个很好的方式！效率比模板高。

Literal Type

down voteaccepted

The defintion of "literal type" is in [basic.types] (C++11 3.9):

A type is a literal type if it is:

void; or

a scalar type; or

a reference type; or

an array of literal type; or

a class type (Clause 9) that has all of the following properties:

it has a trivial destructor,

it is an aggregate type (8.5.1) or has at least one constexpr constructor or constructor template that is not a copy or move constructor, and

all of its non-static data members and base classes are of non-volatile literal types.

Literal types are broadly speaking the types that are permitted to occur as and in constant expressions.

There is a trait, std::is_literal_type, for checking if a type is a literal type.

是否是literal type?

// is_literal_type example
#include <iostream>
#include <type_traits>

struct A { };
struct B { ~B(){} };

int main() {
  std::cout << std::boolalpha;
  std::cout << "is_literal_type:" << std::endl;
  std::cout << "int: " << std::is_literal_type<int>::value << std::endl;
  std::cout << "int&: " << std::is_literal_type<int&>::value << std::endl;
  std::cout << "int*: " << std::is_literal_type<int*>::value << std::endl;
  std::cout << "A: " << std::is_literal_type<A>::value << std::endl;
  std::cout << "B: " << std::is_literal_type<B>::value << std::endl;
  return 0;
}

Output:

is_literal_type:
int: true
int&: true
int*: true
A: true
B: false

一些问题：

constexpr vs template for compile-time maths functions?

元编程

泛型编程

continue...

[c++] constexpr and literal class

标签：targe block compile get indent cout tle ror sse

原文地址：http://www.cnblogs.com/jesse123/p/6209938.html

踩

(0)

评论一句话评论（0）

分享档案

更多>

2021年07月29日 (22)
2021年07月28日 (40)
2021年07月27日 (32)
2021年07月26日 (79)
2021年07月23日 (29)
2021年07月22日 (30)
2021年07月21日 (42)
2021年07月20日 (16)
2021年07月19日 (90)
2021年07月16日 (35)

周排行

友情链接

兰亭集智国之画百度统计站长统计阿里云 chrome插件新版天听网

关于我们 - 联系我们 - 留言反馈

迷上了代码！