ROS里launch标签里的param标签属性

在ROS中，`launch`文件是一种XML格式的文件，它可以用来启动ROS节点、参数服务器、运行ROS包等。`param`标签用于在`launch`文件中设置ROS参数，这些参数可以在ROS节点中被读取和使用。`param`标签有以下属性：

- `name`: 参数的名称。
- `value`: 参数的值。
- `type`: 参数的类型，可以是`str`、`int`、`double`、`bool`等。
- `textfile`: 如果参数的值很长，可以将其存储在一个文本文件中，并使用`textfile`属性指定该文件的路径。

例如，以下是一个设置ROS参数的`param`标签示例：

<launch>
  <node name="my_node" pkg="my_package" type="my_node_type">
    <param name="my_param" value="10" type="int"/>
  </node>
</launch>

在上面的示例中，我们设置了一个名为`my_param`的参数，它的值为`10`，类型为整型。在ROS节点中，我们可以使用`ros::param::get`函数获取这个参数的值：

int my_param;
ros::param::get("my_param", my_param);

这将从ROS参数服务器中获取名为`my_param`的参数的值，并将其存储在`my_param`变量中。