类成员初始化std::uniform_real_distribution报错，改用{}是否可靠？

问题背景 #

在局部作用域中，我们可以用圆括号初始化std::uniform_real_distribution：

std::uniform_real_distribution rand01(0,1);

但将其作为类成员变量定义时，如下代码编译报错：

#include <iostream>
#include <random>

class randomnumber
{
   public: 
      randomnumber()
      {
         std::random_device rd;
         generator.seed(rd()); 
      };

      double get_rn()
      {
         return rand01(generator);
      }

   private :
      std::mt19937 generator; 
      std::uniform_real_distribution<double> rand01(0.,1.); // 报错行
};

int main(int argc,char *argv[])
{
   randomnumber randnum;
   for(int i=0;i<100;i++)
      std::cout << randnum.get_rn() << std::endl;
}

编译环境为g++ 11.4.0，编译命令g++ -std=c++11 randtest.cpp，报错信息：

randtest.cpp:20:53: error: expected identifier before numeric constant
   20 |       std::uniform_real_distribution<double> rand01(0.,1.);
      |                                                     ^~
randtest.cpp:20:53: error: expected ‘,’ or ‘...’ before numeric constant
randtest.cpp: In member function ‘double randomnumber::get_rn()’:
randtest.cpp:15:24: error: cannot convert ‘std::mt19937’ {aka ‘std::mersenne_twister_engine<long unsigned int, 32, 624, 397, 31, 2567483615, 11, 4294967295, 7, 2636928640, 15, 4022730752, 18, 1812433253>’} to ‘int’
   15 |          return rand01(generator);
      |                        ^~~~~~~~~
      |                        |
      |                        std::mt19937 {aka std::mersenne_twister_engine<long unsigned int, 32, 624, 397, 31, 2567483615, 11, 4294967295, 7, 2636928640, 15, 4022730752, 18, 1812433253>}
randtest.cpp:20:53: note:   initializing argument 1 of ‘std::uniform_real_distribution<double> randomnumber::rand01(int)’
   20 |       std::uniform_real_distribution<double> rand01(0.,1.);

改用大括号{}替代圆括号()可修复问题，需确认：

1. 该修复是否可靠？即使用{}初始化的代码能否始终生成0到1之间的均匀随机数？
2. 编译器出现该报错的原因是什么？

回答 #

一、编译器报错原因 #

这是C++的最令人头疼的解析（Most Vexing Parse）问题：当在类成员声明中写std::uniform_real_distribution<double> rand01(0.,1.);时，编译器会把它解析成一个成员函数声明——函数名为rand01，返回值类型是std::uniform_real_distribution<double>，参数列表是两个匿名的int类型参数（0.会被编译器当作0，视为int类型常量而非double）。

后续在get_rn()中调用rand01(generator)时，编译器认为你在调用这个错误解析出来的函数，而std::mt19937类型的generator无法转换成int，因此出现类型转换错误。

二、用大括号{}初始化的可靠性 #

这个修复完全可靠，原因如下：

• 初始化语义一致：大括号初始化（列表初始化）会直接调用std::uniform_real_distribution的构造函数，传入0.和1.作为上下界，和圆括号初始化的效果完全相同——都会构造一个生成[0.0, 1.0)区间内均匀分布随机数的对象（std::uniform_real_distribution默认区间为左闭右开，除非显式修改模板参数行为）。
• 避免解析歧义：列表初始化语法在类成员声明中不会被解析成函数声明，能明确告诉编译器这是对成员变量的初始化操作，彻底解决解析歧义问题。
• 标准兼容性：从C11开始，列表初始化就是标准支持的语法，你的编译环境指定了-std=c++11，完全符合要求，在所有支持C11及以上的编译器中都能正常工作。

简单来说，用std::uniform_real_distribution<double> rand01{0., 1.};替代原代码，既能解决编译错误，又能保证生成的随机数符合[0.0,1.0)区间的均匀分布要求。

内容的提问来源于stack exchange，提问作者Tom