Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Commit31d5354

Browse files
committed
Doc: improve documentation about random().
We didn't explicitly say that random() uses a randomly-chosen seedif you haven't called setseed(). Do so.Also, remove ref/set.sgml's no-longer-accurate (and never veryrelevant) statement that the seed value is multiplied by 2^31-1.Back-patch to v12 where set.sgml's claim stopped being true.The claim that we use a source of random bits as seed was debatablebefore4203842, too, so v12 seems like a good place to stop.Per question from Carl Sopchak.Discussion:https://postgr.es/m/f37bb937-9d99-08f0-4de7-80c91a3cfc2e@sopchak.me
1 parentfee0165 commit31d5354

File tree

2 files changed

+4
-2
lines changed

2 files changed

+4
-2
lines changed

‎doc/src/sgml/func.sgml

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1840,6 +1840,9 @@ repeat('Pg', 4) <returnvalue>PgPgPgPg</returnvalue>
18401840
subsequent <function>random()</function> calls in the current session
18411841
can be repeated by re-issuing <function>setseed()</function> with the same
18421842
argument.
1843+
Without any prior <function>setseed()</function> call in the same
1844+
session, the first <function>random()</function> call obtains a seed
1845+
from a platform-dependent source of random bits.
18431846
</para>
18441847

18451848
<para>

‎doc/src/sgml/ref/set.sgml

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -175,8 +175,7 @@ SET [ SESSION | LOCAL ] TIME ZONE { <replaceable class="parameter">timezone</rep
175175
<para>
176176
Sets the internal seed for the random number generator (the
177177
function <function>random</function>). Allowed values are
178-
floating-point numbers between -1 and 1, which are then
179-
multiplied by 2<superscript>31</superscript>-1.
178+
floating-point numbers between -1 and 1 inclusive.
180179
</para>
181180

182181
<para>

0 commit comments

Comments
 (0)

[8]ページ先頭

©2009-2025 Movatter.jp