Question

如果我理解正确perldoc perlop，则此操作应该是未定义的：

溢出整数范围的结果是未定义的，因为它在C中也是未定义的。换句话说，使用32位整数，1 << 32是未定义的。 以负数位换位也未定义。

我注意到我的设置中有两件事我无法解释：

1 << -1返回9223372036854775808而没有bigint或integer个pragma（当它们处于活动状态时返回NaN）。
```
> perl -le "print 1<<-1"
  9223372036854775808
```

1 << -1

defined

bigint在使用integer进行测试时都会返回true

> perl -le "print 'yes' if defined(1<<-1)"
  yes

> perl -le "use integer; print 'yes' if defined(1<<-1)"
  yes

> perl -le "use bigint; print 'yes' if defined(1<<-1)"
  yes

我的设置详情：

> perl -V
Set up gcc environment - gcc.exe (rubenvb-4.5.4) 4.5.4
Summary of my perl5 (revision 5 version 16 subversion 3) configuration:

  Platform:
    osname=MSWin32, osvers=5.2, archname=MSWin32-x64-multi-thread
    uname=''
    config_args='undef'
    hint=recommended, useposix=true, d_sigaction=undef
    useithreads=define, usemultiplicity=define
    useperlio=define, d_sfio=undef, uselargefiles=define, usesocks=undef
    use64bitint=define, use64bitall=undef, uselongdouble=undef
    usemymalloc=n, bincompat5005=undef
  Compiler:
    cc='C:\Perl64\site\bin\gcc.exe', ccflags ='-DNDEBUG -DWIN32 -D_CONSOLE -DNO_STRICT -DWIN64 -DCONSERVATIVE -DPERL_TEXTMODE_SCRIPTS -DUSE_SITECUSTOMIZE -DPERL_IMPLICIT_CONTEXT -DPERL_IMPLICIT_SYS -DUSE_PERLIO -DHASATTRIBUTE -fno-strict-aliasing -mms-bitfields',
    optimize='-O2',
    cppflags='-DWIN32'
    ccversion='', gccversion='gcc.exe (rubenvb-4.5.4) 4.5.4', gccosandvers=''
    intsize=4, longsize=4, ptrsize=8, doublesize=8, byteorder=12345678
    d_longlong=undef, longlongsize=8, d_longdbl=define, longdblsize=8
    ivtype='__int64', ivsize=8, nvtype='double', nvsize=8, Off_t='__int64', lseeksize=8
    alignbytes=8, prototype=define
  Linker and Libraries:
    ld='C:\Perl64\site\bin\g++.exe', ldflags ='-L"C:\Perl64\lib\CORE"'
    libpth=\lib
    libs=-lkernel32 -luser32 -lgdi32 -lwinspool -lcomdlg32 -ladvapi32 -lshell32 -lole32 -loleaut32 -lnetapi32 -luuid -lws2_32 -lmpr -lwinmm -lversion -lodbc32 -lodbccp32 -lcomctl32 -lmsvcrt
    perllibs=-lkernel32 -luser32 -lgdi32 -lwinspool -lcomdlg32 -ladvapi32 -lshell32 -lole32 -loleaut32 -lnetapi32 -luuid -lws2_32 -lmpr -lwinmm -lversion -lodbc32 -lodbccp32 -lcomctl32 -lmsvcrt
    libc=msvcrt.lib, so=dll, useshrplib=true, libperl=perl516.lib
    gnulibc_version=''
  Dynamic Linking:
    dlsrc=dl_win32.xs, dlext=dll, d_dlsymun=undef, ccdlflags=' '
    cccdlflags=' ', lddlflags='-mdll -L"C:\Perl64\lib\CORE"'


Characteristics of this binary (from libperl): 
  Compile-time options: HAS_TIMES HAVE_INTERP_INTERN MULTIPLICITY
                        PERLIO_LAYERS PERL_DONT_CREATE_GVSV
                        PERL_IMPLICIT_CONTEXT PERL_IMPLICIT_SYS
                        PERL_MALLOC_WRAP PERL_PRESERVE_IVUV PL_OP_SLAB_ALLOC
                        USE_64_BIT_INT USE_ITHREADS USE_LARGE_FILES
                        USE_LOCALE USE_LOCALE_COLLATE USE_LOCALE_CTYPE
                        USE_LOCALE_NUMERIC USE_PERLIO USE_PERL_ATOF
                        USE_SITECUSTOMIZE
  Locally applied patches:
    ActivePerl Build 1603 [296746]
  Built under MSWin32
  Compiled at Mar 13 2013 13:31:10
  @INC:
    C:/Perl64/site/lib
    C:/Perl64/lib
    .

Answer 1

当他们说未定义时，他们指的是undefined behaviour，而不是值undef。

如果操作的结果是未定义的行为，则意味着任何事情都可能发生 - 您可能会得到令人惊讶的结果，不同平台上的结果不同，每次执行相同操作时会产生不同的结果，或者3英尺高大的蜗牛可能会从你的电脑里出来并开始讲斯瓦希里语（尽管最后一个在实践中并不常见）。

换句话说，因为它被明确记录为未定义的行为，所以任何 perl在技术上都是正确的 - 这意味着你不能依赖它来做任何有用的事情。

Answer 2

编号9223372036854775808等于2 ^ 63。给定一个初始化为1的64位无符号整数，向右旋转一位会得到这个结果。这可能是发生的事情：＆lt;＆lt; -1被解释为右旋一个。

但是由于负值的变化是不确定的，所以这不是可以依赖的东西。然而，巧合值得注意。

为什么Perl认为1＆lt;＆lt; -1是9223372036854775808？

2 个答案: