问题 常量是否固定在C#中?


我正在使用Borland C API在C#中工作,该API使用大量字节指针作为字符串。我一直面临着将一些C#字符串作为(短期)字节*传递的需要。

我自然会假设const对象不会在堆上分配,而是直接存储在程序存储器中,但我无法在任何文档中验证这一点。

这是我为了生成指向常量字符串的指针而做的一个例子。这确实可以用于测试,我只是不确定它是否真的安全,或者只是运气好。

private const string pinnedStringGetWeight = "getWeight";

unsafe public static byte* ExampleReturnWeightPtr(int serial)
{
    fixed (byte* pGetWeight = ASCIIEncoding.ASCII.GetBytes(pinnedStringGetWeight))
        return pGetWeight;
}

这个const是固定的,还是有可能被移动?


@Kragen:

这是导入:

[DllImport("sidekick.dll", CallingConvention = CallingConvention.Winapi)]
public static extern int getValueByFunctionFromObject(int serial, int function, byte* debugCallString);

这是实际的功能。是的,它实际上需要一个静态函数指针:

 private const int FUNC_GetWeight = 0x004243D0;

 private const string pinnedStringGetWeight = "getWeight";

 unsafe public static int getWeight(int serial)
 {
     fixed (byte* pGetWeight = ASCIIEncoding.ASCII.GetBytes(pinnedStringGetWeight))
         return Core.getValueByFunctionFromObject(serial, FUNC_GetWeight, pGetWeight);
 }

以下是我在使用静态结构模拟我的API时使用的另一种方法,我也希望将其固定。我希望找到一种方法来简化这一点。

public byte* getObjVarString(int serial, byte* varName)
{
    string varname = StringPointerUtils.GetAsciiString(varName);
    string value = MockObjVarAttachments.GetString(serial, varname);
    if (value == null)
        return null;
    return bytePtrFactory.MakePointerToTempString(value);
}

static UnsafeBytePointerFactoryStruct bytePtrFactory = new UnsafeBytePointerFactoryStruct();
private unsafe struct UnsafeBytePointerFactoryStruct
{
    fixed byte _InvalidScriptClass[255];
    fixed byte _ItemNotFound[255];
    fixed byte _MiscBuffer[255];

    public byte* InvalidScriptClass
    {
        get
        {
            fixed (byte* p = _InvalidScriptClass)
            {
                CopyNullString(p, "Failed to get script class");
                return p;
            }
        }
    }

    public byte* ItemNotFound
    {
        get
        {
            fixed (byte* p = _ItemNotFound)
            {
                CopyNullString(p, "Item not found");
                return p;
            }
        }
    }

    public byte* MakePointerToTempString(string text)
    {
        fixed (byte* p = _ItemNotFound)
        {
            CopyNullString(p, text);
            return p;
        }
    }

    private static void CopyNullString(byte* ptrDest, string text)
    {
        byte[] textBytes = ASCIIEncoding.ASCII.GetBytes(text);
        fixed (byte* p = textBytes)
        {
            int i = 0;
            while (*(p + i) != 0 && i < 254 && i < textBytes.Length)
            {
                *(ptrDest + i) = *(p + i);
                i++;
            }
            *(ptrDest + i) = 0;
        }
    }
}

11266
2017-07-18 16:12


起源

这不是将字符串编组为本机代码的方法 - 您可以将一个(可能是P / Invoke)调用的示例发布到您的C API吗? - Justin
我强烈怀疑常量字符串是有效“固定”的,因为我不相信它们存储在垃圾收集堆上。有一个证据就是使用“Ldstr”IL操作码加载常量字符串,并将常量字符串作为方法体的一部分提供。 - Dan Bryant
我应该澄清我之前的发言。 “fixed语句阻止垃圾收集器重定位可移动变量。固定语句只允许在不安全的上下文中使用。固定语句也可用于创建固定大小的缓冲区。” - msdn.microsoft.com/en-us/library/f58wzh21(v=VS.100).aspx  - RunUO是如此2010 :-) - Security Hound
我很确定没有 保证 对于要固定的字符串常量(对于值类型常量,问题没有意义,所以我们这里只讨论字符串常量)。我认为主要区别在于他们默认情况下会被拘禁,但实习并不意味着固定。 - CodesInChaos
如何分配一些非托管内存?保证固定的那个。 - CodesInChaos


答案:


在这种情况下,如何分配常量应该无关紧要,因为 ASCIIEncoding.ASCII.GetBytes() 返回一个新的字节数组(它不能返回常量的内部数组,因为它的编码方式不同(编辑:希望如此) 没有 获取指针的方法 string的内部数组,因为字符串是不可变的))。但是,GC不会触及阵列的保证只能持续时间 fixed 范围确实 - 换句话说,当函数返回时,内存不再被固定。


13
2017-07-18 16:19



这肯定回答了我的问题。完全错过了这个。非常感谢。我的返回字节*一旦返回就完全不可靠,我一直很幸运。 - Derrick
如果它回答了你的问题,你应该将其标记为答案。 - Judah Himango
@Judah Himango:我不确定是否回答了关于是否固定了consts的文字主题问题,即使这个答案完全足以满足关于我自己的代码的正确性的问题。 - Derrick
@Derrick:够公平的。 :-) - Aasmund Eldhuset
谢谢你的编辑。一个好点:)如果我改写这个问题,我会问如何建立一个指向byte []的指针并为程序集的生命周期修复,在某种程度上字符串的特殊性质使问题复杂化。我现在正走在正确的轨道上。再次,非常感谢,谢谢。 - Derrick


基于Kragans评论,我研究了将字符串编组为字节指针的正确方法,现在我在我的问题中使用的第一个示例使用以下内容:

        [DllImport("sidekick.dll", CallingConvention = CallingConvention.Winapi)]
        public static extern int getValueByFunctionFromObject(int serial, int function, [MarshalAs(UnmanagedType.LPStr)]string debugCallString);

1
2017-07-18 20:07